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-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
wball pushed to main at wball/perga.nvim 2024-11-20 23:39:28 -08:00
9b06b0bb9b forgot 'axiom' as a keyword
wball pushed to main at wball/perga 2024-11-20 23:32:39 -08:00
7b037db6c0 proved commutativity
wball created branch main in wball/perga.nvim 2024-11-20 22:31:42 -08:00
wball pushed to main at wball/perga.nvim 2024-11-20 22:31:42 -08:00
85f88dcfd2 added readme
70c857417a added commentstring
52858bbcc7 basically working
b3574a790c idk if it cares about git
a2f972c52c better
wball created repository wball/perga.nvim 2024-11-20 22:31:08 -08:00
wball pushed to main at wball/tree-sitter-perga 2024-11-20 22:22:33 -08:00
e5e219e0e9 basically working
wball pushed to main at wball/perga 2024-11-20 22:21:58 -08:00
ffc78ca1ff treesitter doesn't like block comments