Skip to content

Issues: pikelet-lang/pikelet

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

31 Open 31 Closed
31 Open 31 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Cannot build with modern versions of Rust
#259 opened Nov 18, 2023 by rzuckerm
Experiment with Andras Korvacs' version of universe lifting
#237 opened Dec 12, 2020 by brendanzab
5
Fix unfolding avoidance for local variables
#236 opened Dec 6, 2020 by brendanzab
Package manager
#178 opened Nov 5, 2018 by brendanzab
2 tasks
4
Pikelet driver/loader API
#175 opened Nov 5, 2018 by brendanzab v0.1.0
12
Pattern match compilation
#128 opened Sep 1, 2018 by brendanzab
1
Move to an incremental/query driven architecture
#103 opened Jul 25, 2018 by brendanzab
8
Implement a Language Server and build an extension for VS Code
#97 opened Jul 4, 2018 by brendanzab
2 of 4 tasks
9
Effects: Pikelet should actually be useful!
#93 opened Jul 1, 2018 by brendanzab
9
Adopt a labelling scheme for issues
#92 opened Jul 1, 2018 by brendanzab
Implement a pass to compile Core terms to A-Normal Form help wanted
#91 opened Jul 1, 2018 by brendanzab
Use Bors for merging PRs
#88 opened Jun 25, 2018 by brendanzab
Refactor the compiler to use visitors
#75 opened Jun 5, 2018 by brendanzab
3
Add facilities for debugging/visualising the typechecker
#71 opened May 24, 2018 by brendanzab
Recursive definitions
#46 opened Apr 14, 2018 by brendanzab v0.2.0
1
Plans for formalizing the type system and implementation
#39 opened Apr 10, 2018 by brendanzab
1
Singleton Types
#37 opened Apr 10, 2018 by brendanzab
User-defined infix operators
#34 opened Apr 8, 2018 by brendanzab v0.2.0
5
Figure out a strategy for handling common (usually ignored) errors
#31 opened Apr 8, 2018 by brendanzab
Record keyword/sigil ambiguity bikeshedding
#25 opened Apr 4, 2018 by brendanzab
5
Use a string interner for caching identifiers and strings help wanted
#19 opened Apr 1, 2018 by brendanzab
@adrianwong
Non-uniform representation and unboxed data types
#18 opened Mar 29, 2018 by brendanzab
Allow files to be loaded from the REPL help wanted
#17 opened Mar 29, 2018 by brendanzab v0.1.0
3
Property based testing of the type system help wanted
#16 opened Mar 29, 2018 by brendanzab
Instance arguments
#13 opened Mar 29, 2018 by brendanzab
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.