|
|
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 |
|
|
|
cdafab0d94
|
compiles, getting stuck somewhere though
|
2024-11-30 23:43:17 -08:00 |
|
|
|
8adfd9f8ba
|
elaborator v1
|
2024-11-30 22:36:27 -08:00 |
|
|
|
b236bb1753
|
parser just about taken care of
|
2024-11-30 20:34:09 -08:00 |
|
|
|
9e54c14c65
|
fixed .cabal expecting README.md
|
2024-11-30 00:10:51 -08:00 |
|
|
|
5234f43194
|
port to relude + a lot of cleanup
|
2024-11-22 19:44:31 -08:00 |
|
|
|
02c298b1a9
|
removed rather vestigal tests
|
2024-11-22 12:15:27 -08:00 |
|
|
|
75ab0a1a41
|
improved beta-equivalence, added preprocessor
|
2024-11-22 10:36:51 -08:00 |
|
|
|
8c5311a2f6
|
HUGE update
|
2024-11-17 18:33:14 -08:00 |
|
