William Ball

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

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!!!!