William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball commented on issue wball/perga#1 2024-12-06 13:51:16 -08:00
Sections

Supported with commit 23f1432817.

wball closed issue wball/perga#1 2024-12-06 13:51:16 -08:00
Sections
wball pushed to main at wball/perga 2024-12-06 13:49:12 -08:00
a72fef7979 updated readme
23f1432817 SECTIONS WORKING!!!
640354bb45 elabProgram done (for now at least)
254f5ff273 got rid of extra keywords
e122a44a91 asdf
Compare 6 commits »
wball pushed to main at wball/perga 2024-12-05 19:49:46 -08:00
a3d72583b4 updated examples in README to latest syntax
wball pushed to main at wball/perga 2024-12-05 19:49:01 -08:00
72e695a381 moved TODOs to forgejo issues
wball opened issue wball/perga#15 2024-12-05 19:37:05 -08:00
Alternate mathy syntax
wball opened issue wball/perga#14 2024-12-05 19:34:06 -08:00
Infix (misfix?) operators
wball opened issue wball/perga#13 2024-12-05 19:32:39 -08:00
Incremental parsing/typechecking
wball opened issue wball/perga#12 2024-12-05 19:31:35 -08:00
Nixify the repo
wball opened issue wball/perga#11 2024-12-05 19:29:55 -08:00
Improve error messages
wball opened issue wball/perga#10 2024-12-05 19:28:58 -08:00
Improve REPL
wball opened issue wball/perga#9 2024-12-05 19:28:00 -08:00
Better pretty printing
wball opened issue wball/perga#8 2024-12-05 19:26:26 -08:00
Full on inductive definitions
wball opened issue wball/perga#7 2024-12-05 19:24:47 -08:00
Proper sum types
wball opened issue wball/perga#6 2024-12-05 19:23:06 -08:00
Proper sigma types
wball opened issue wball/perga#5 2024-12-05 19:19:52 -08:00
Universe Polymorphism
wball opened issue wball/perga#4 2024-12-05 19:16:56 -08:00
A proper module system
wball opened issue wball/perga#3 2024-12-05 19:14:54 -08:00
Implicit function arguments
wball opened issue wball/perga#2 2024-12-05 19:13:06 -08:00
Type inference
wball opened issue wball/perga#1 2024-12-05 19:12:00 -08:00
Sections