wball/perga
1
0
Fork 0
Code Issues 15 Pull requests Projects Releases Packages Wiki Activity Actions

Labels Milestones

Exact
Fuzzy
Exact
New issue
15 Open 4 Closed
Label
Clear labels
bug
core
easy
elaborator
hard
parser
urgent
usage
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
wball
Some bugs/enhancements in/for the REPL
bug
usage
#19 opened 2025-01-24 14:58:38 -08:00 by wball 0 / 3
Migrate to happy/alex
parser
#18 opened 2025-01-06 15:11:14 -08:00 by wball
Alternate mathy syntax
hard
parser
#15 opened 2024-12-05 19:37:05 -08:00 by wball
Infix (misfix?) operators
parser
3
#14 opened 2024-12-05 19:34:06 -08:00 by wball
Incremental parsing/typechecking
parser
#13 opened 2024-12-05 19:32:39 -08:00 by wball
Nixify the repo
#12 opened 2024-12-05 19:31:35 -08:00 by wball
Improve error messages
urgent
usage
#11 opened 2024-12-05 19:29:55 -08:00 by wball
Improve REPL
usage
#10 opened 2024-12-05 19:28:58 -08:00 by wball
Full on inductive definitions
core
hard
#8 opened 2024-12-05 19:26:26 -08:00 by wball
Proper sum types
core
#7 opened 2024-12-05 19:24:47 -08:00 by wball
Proper sigma types
core
1
#6 opened 2024-12-05 19:23:06 -08:00 by wball
Universe Polymorphism
core
hard
#5 opened 2024-12-05 19:19:52 -08:00 by wball
A proper module system
elaborator
hard
#4 opened 2024-12-05 19:16:56 -08:00 by wball
Implicit function arguments
elaborator
hard
#3 opened 2024-12-05 19:14:54 -08:00 by wball
Type inference
elaborator
hard
#2 opened 2024-12-05 19:13:06 -08:00 by wball