|
|
de8ffcb716
|
minor formatting and README tweaks
|
2025-09-12 10:03:44 -04:00 |
|
|
|
cf26b7c9ec
|
trying out new lightweight Automathy function syntax
|
2024-12-11 14:12:56 -08:00 |
|
|
|
e6f9d71c57
|
basic haskell operator syntax
|
2024-12-10 23:36:34 -08:00 |
|
|
|
534809bef9
|
cleaned up peano.pg a bit
|
2024-12-10 20:46:29 -08:00 |
|
|
|
f9e0ec40bd
|
infix operators!
|
2024-12-10 20:31:53 -08:00 |
|
|
|
950e132fcf
|
fixed some sneaky bugs
|
2024-12-08 16:11:21 -08:00 |
|
|
|
8bc8e5e171
|
better prettyprinting
|
2024-12-08 12:40:52 -08:00 |
|
|
|
7f9d029ff9
|
optimized peano.pg a bit
|
2024-12-06 21:23:35 -08:00 |
|
|
|
da0fff8070
|
switched back to markdown, since not using TODOs anymore
|
2024-12-06 15:36:58 -08:00 |
|
|
|
23f1432817
|
SECTIONS WORKING!!!
|
2024-12-06 13:36:14 -08:00 |
|
|
|
c0e0c37689
|
more peano, fixed bug in checking ascriptions of definitions
|
2024-12-05 18:56:41 -08:00 |
|
|
|
0a57180cb1
|
updated examples to new syntax
|
2024-12-01 15:29:05 -08:00 |
|
|
|
0c004688c7
|
made preprocessor not reinclude files multiple times
|
2024-11-29 20:39:42 -08:00 |
|
|
|
652467f02c
|
fixed but in let impl, work on proving recursion
|
2024-11-28 10:48:11 -08:00 |
|
|
|
75ab0a1a41
|
improved beta-equivalence, added preprocessor
|
2024-11-22 10:36:51 -08:00 |
|
|
|
7b037db6c0
|
proved commutativity
|
2024-11-20 23:32:28 -08:00 |
|
|
|
ffc78ca1ff
|
treesitter doesn't like block comments
|
2024-11-20 22:21:43 -08:00 |
|
|
|
e05c8e8a92
|
very minor cleanups
|
2024-11-20 13:22:06 -08:00 |
|
|
|
c9e8d3fe1f
|
gave up on proving recursion, proved associativity of addition
|
2024-11-20 12:24:03 -08:00 |
|
|
|
0012f4e974
|
reworked and added many more examples
|
2024-11-20 07:37:57 -08:00 |
|
