William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball pushed to main at wball/perga 2024-11-29 18:19:58 -08:00
f8a684a173 updated README a bit to talk more about (im)predicativity, abandoned markdown
wball pushed to main at wball/perga 2024-11-28 14:32:49 -08:00
58168e461d clear binders after each definition (!!!)
wball pushed to main at wball/perga 2024-11-28 13:39:47 -08:00
9afa90d3af added universes; documentation and examples forthcoming
wball pushed to main at wball/perga 2024-11-28 10:49:00 -08:00
652467f02c fixed but in let impl, work on proving recursion
wball pushed to main at wball/perga.nvim 2024-11-23 10:43:13 -08:00
2645b608e8 updated to support let
wball pushed to main at wball/tree-sitter-perga 2024-11-23 10:39:42 -08:00
6e1878db5d support functions in let
wball deleted branch let from wball/perga 2024-11-23 10:37:17 -08:00
wball pushed to main at wball/perga 2024-11-23 10:36:32 -08:00
e0b357450c support directly binding functions in let
780ab52809 added let expressions
Compare 2 commits »
wball pushed to main at wball/tree-sitter-perga 2024-11-23 10:07:02 -08:00
356b6600f2 added let expressions
wball created branch let in wball/perga 2024-11-23 09:16:48 -08:00
wball pushed to let at wball/perga 2024-11-23 09:16:48 -08:00
780ab52809 added let expressions
wball pushed to main at wball/perga 2024-11-22 19:47:50 -08:00
5234f43194 port to relude + a lot of cleanup
wball pushed to main at wball/perga 2024-11-22 12:15:38 -08:00
02c298b1a9 removed rather vestigal tests
wball pushed to main at wball/perga 2024-11-22 11:52:40 -08:00
91157dd2aa updates to examples
wball pushed to main at wball/perga.nvim 2024-11-22 10:38:32 -08:00
52fa5a5f5e added support for preprocessor
wball pushed to main at wball/tree-sitter-perga 2024-11-22 10:37:49 -08:00
158683891c added support for preprocessor
wball pushed to main at wball/perga 2024-11-22 10:37:13 -08:00
75ab0a1a41 improved beta-equivalence, added preprocessor
wball pushed to main at wball/perga.nvim 2024-11-21 13:39:39 -08:00
a532a2e1dd folds + very basic indentation
wball pushed to main at wball/tree-sitter-perga 2024-11-21 13:15:29 -08:00
ece43957c9 added block comments
wball pushed to main at wball/perga.nvim 2024-11-20 23:40:29 -08:00
74f857ee4f whoops