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/tree-sitter-perga 2024-11-20 21:46:58 -08:00
3db7a588ad getting closer?
wball pushed to main at wball/tree-sitter-perga 2024-11-20 20:17:45 -08:00
ec8579d599 I have no idea what I'm doing
wball pushed to main at wball/tree-sitter-perga 2024-11-20 19:38:47 -08:00
9c780880fa trying to figure this out
wball pushed to main at wball/tree-sitter-perga 2024-11-20 19:37:22 -08:00
e231915070 oops
wball created branch main in wball/tree-sitter-perga 2024-11-20 19:30:17 -08:00
wball pushed to main at wball/tree-sitter-perga 2024-11-20 19:30:17 -08:00
f0a31d7af9 working?
wball created repository wball/tree-sitter-perga 2024-11-20 19:29:54 -08:00
wball pushed to main at wball/perga 2024-11-20 13:22:16 -08:00
e05c8e8a92 very minor cleanups
wball pushed to main at wball/perga 2024-11-20 12:44:36 -08:00
47dc90d872 simplified syntax and updated README
wball pushed to main at wball/perga 2024-11-20 12:24:40 -08:00
c9e8d3fe1f gave up on proving recursion, proved associativity of addition
f915663f94 changed comment syntax to avoid clashing with the very common *)
Compare 2 commits »
wball pushed to main at wball/perga 2024-11-20 07:38:43 -08:00
0012f4e974 reworked and added many more examples
604e0c16fb added axioms
Compare 2 commits »
wball pushed to main at wball/perga 2024-11-19 12:56:15 -08:00
04497c407a added more examples to README
wball pushed to main at wball/perga 2024-11-18 14:33:31 -08:00
0e000ccac6 fixed beta equivalence check
wball renamed repository from dependent-lambda to wball/perga 2024-11-17 18:33:44 -08:00
wball pushed to main at wball/perga 2024-11-17 18:33:30 -08:00
8c5311a2f6 HUGE update
wball pushed to main at wball/perga 2024-11-17 01:58:28 -08:00
c1ccd50644 basics of definitions!!!!
wball pushed to main at wball/perga 2024-11-16 23:54:29 -08:00
f5e79c3225 improved beta-equivalence
wball pushed to main at wball/perga 2024-11-15 18:39:58 -08:00
cde850a33a improved usage
wball pushed to main at wball/perga 2024-11-14 22:08:46 -08:00
f1d5fc7574 updated TODOs
wball pushed to main at wball/perga 2024-11-14 22:02:35 -08:00
51d97b15f5 updated TODOs
9ef9a8b6ba converted to Text
c73566d67f many more tests
Compare 3 commits »