 Rachel Lambda Samuelsson
|
c7eac71a2d
|
update expectations in readme
|
2022-08-22 20:49:49 +02:00 |
|
Rachel Lambda Samuelsson
|
645f923848
|
align arrows
|
2022-08-06 02:32:09 +02:00 |
|
Rachel Lambda Samuelsson
|
9275d39107
|
slight parser optimization
|
2022-08-01 18:26:13 +02:00 |
|
Rachel Lambda Samuelsson
|
7c24f93efc
|
update readme
|
2022-07-28 15:46:00 +02:00 |
|
Rachel Lambda Samuelsson
|
6db8a23d00
|
remove old test files
|
2022-07-28 15:38:12 +02:00 |
|
Rachel Lambda Samuelsson
|
a3dff999e2
|
updated readme
|
2022-07-28 04:47:54 +02:00 |
|
Rachel Lambda Samuelsson
|
1560c7ce8f
|
removed backtracking behaviour of tarr, parser is ~400x faster now
|
2022-07-28 04:24:48 +02:00 |
|
Rachel Lambda Samuelsson
|
60954c21c3
|
fixued issue with definition indecies
|
2022-07-27 00:28:06 +02:00 |
|
Rachel Lambda Samuelsson
|
90255e9c40
|
remove repl from todo
|
2022-07-26 23:07:43 +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
|
542f1cd685
|
update readme
|
2022-07-26 06:11:57 +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
|
8e85d97b7f
|
parser is now useable for tests n stuff
|
2022-07-26 01:11:44 +02:00 |
|
Rachel Lambda Samuelsson
|
fa384e2e26
|
add top level parser
|
2022-07-25 01:21:38 +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 |
|
Rachel Lambda Samuelsson
|
e3c74503ee
|
added let ... in ...
|
2022-07-21 19:51:55 +02:00 |
|
Rachel Lambda Samuelsson
|
752b6ee4c9
|
updated TODO priorities
|
2022-07-21 04:26:06 +02:00 |
|
Rachel Lambda Samuelsson
|
a2b74708b7
|
added Σ types to readme also
|
2022-07-21 04:20:20 +02:00 |
|
Rachel Lambda Samuelsson
|
fcd2ec66e8
|
added let in to TODO
|
2022-07-21 04:19:47 +02:00 |
|
Rachel Lambda Samuelsson
|
d1b27c826b
|
added Σ types
|
2022-07-21 04:18:50 +02:00 |
|
Rachel Lambda Samuelsson
|
ab7d70d562
|
implemented types ⊤, ⊥, and ℕ
|
2022-07-21 00:05:45 +02:00 |
|
Rachel Lambda Samuelsson
|
2b441fe0ec
|
updated plan
|
2022-07-20 21:22:35 +02:00 |
|
Rachel Lambda Samuelsson
|
ad9e54a7f5
|
add some references to useful material in the readme
|
2022-05-16 17:49:56 +02:00 |
|
Rachel Lambda Samuelsson
|
357bfd4c2a
|
add readme
|
2022-05-16 17:40:01 +02:00 |
|
Rachel Lambda Samuelsson
|
b4a649a438
|
add test case for eta-equality
|
2022-05-15 15:30:35 +02:00 |
|
Rachel Lambda Samuelsson
|
dea31b675d
|
remove unneeded weaken function (which was wrong anyway)
|
2022-05-13 19:48:20 +02:00 |
|
Rachel Lambda Samuelsson
|
40b089be6e
|
it works ! a lot has changed
|
2022-05-13 19:46:05 +02:00 |
|
Rachel Lambda Samuelsson
|
5790d22dcc
|
about to ruin stuff
|
2022-05-11 16:22:05 +02:00 |
|
Rachel Lambda Samuelsson
|
09671a0c1a
|
this is hard :(
|
2022-04-24 14:30:21 +02:00 |
|
Rachel Lambda Samuelsson
|
d656e028c6
|
enough for today
|
2022-04-23 16:38:53 +02:00 |
|
Rachel Lambda Samuelsson
|
bdb30a2d62
|
initial commit
|
2022-04-23 15:18:06 +02:00 |