Rachel Lambda Samuelsson
|
645f923848
|
align arrows
|
2022-08-06 02:32:09 +02:00 |
Rachel Lambda Samuelsson
|
c7fb1d5cd3
|
definition system, repl
|
2022-07-26 23:07:13 +02:00 |
Rachel Lambda Samuelsson
|
79ad67ffec
|
nat literals and comments in parser
|
2022-07-26 07:57:44 +02:00 |
Rachel Lambda Samuelsson
|
24604a93ef
|
identity types !
removed values that should not be
improved eliminator computation
improved conversion
|
2022-07-26 06:09:57 +02:00 |
Rachel Lambda Samuelsson
|
cd8ee29281
|
changed some case orders to maybe optimize code a bit (maybe?)
|
2022-07-25 00:35:20 +02:00 |
Rachel Lambda Samuelsson
|
48e9a474ff
|
fixed issues in parser, added η-equality for functions
|
2022-07-23 06:01:17 +02:00 |
Rachel Lambda Samuelsson
|
a7d9ac4c0b
|
added parser
|
2022-07-23 03:38:15 +02:00 |