Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• c7eac71a2d update expectations in readme master depsterr 2022-08-22 20:49:49 +0200
• 645f923848 align arrows depsterr 2022-08-06 02:32:09 +0200
• 9275d39107 slight parser optimization depsterr 2022-08-01 18:26:13 +0200
• 7c24f93efc update readme depsterr 2022-07-28 15:46:00 +0200
• 6db8a23d00 remove old test files depsterr 2022-07-28 15:38:12 +0200
• a3dff999e2 updated readme depsterr 2022-07-28 04:47:54 +0200
• 1560c7ce8f removed backtracking behaviour of tarr, parser is ~400x faster now depsterr 2022-07-28 04:24:48 +0200
• 60954c21c3 fixued issue with definition indecies depsterr 2022-07-27 00:28:06 +0200
• 90255e9c40 remove repl from todo depsterr 2022-07-26 23:07:43 +0200
• c7fb1d5cd3 definition system, repl depsterr 2022-07-26 23:07:13 +0200
• 79ad67ffec nat literals and comments in parser depsterr 2022-07-26 07:57:44 +0200
• 542f1cd685 update readme depsterr 2022-07-26 06:11:57 +0200
• 24604a93ef identity types ! removed values that should not be improved eliminator computation improved conversion depsterr 2022-07-26 06:09:57 +0200
• 8e85d97b7f parser is now useable for tests n stuff depsterr 2022-07-26 01:11:44 +0200
• fa384e2e26 add top level parser depsterr 2022-07-25 01:21:38 +0200
• cd8ee29281 changed some case orders to maybe optimize code a bit (maybe?) depsterr 2022-07-25 00:35:20 +0200
• 48e9a474ff fixed issues in parser, added η-equality for functions depsterr 2022-07-23 06:01:17 +0200
• a7d9ac4c0b added parser depsterr 2022-07-23 03:38:15 +0200
• e3c74503ee added let ... in ... depsterr 2022-07-21 19:51:55 +0200
• 752b6ee4c9 updated TODO priorities depsterr 2022-07-21 04:26:06 +0200
• a2b74708b7 added Σ types to readme also depsterr 2022-07-21 04:20:20 +0200
• fcd2ec66e8 added let in to TODO depsterr 2022-07-21 04:19:47 +0200
• d1b27c826b added Σ types depsterr 2022-07-21 04:18:50 +0200
• ab7d70d562 implemented types ⊤, ⊥, and ℕ depsterr 2022-07-21 00:05:45 +0200
• 2b441fe0ec updated plan depsterr 2022-07-20 21:22:35 +0200
• ad9e54a7f5 add some references to useful material in the readme depsterr 2022-05-16 17:49:56 +0200
• 357bfd4c2a add readme depsterr 2022-05-16 17:40:01 +0200
• b4a649a438 add test case for eta-equality depsterr 2022-05-15 15:30:35 +0200
• dea31b675d remove unneeded weaken function (which was wrong anyway) depsterr 2022-05-13 19:48:20 +0200
• 40b089be6e it works ! a lot has changed depsterr 2022-05-13 19:46:05 +0200
• 5790d22dcc about to ruin stuff depsterr 2022-05-11 16:22:05 +0200
• 09671a0c1a this is hard :( depsterr 2022-04-24 14:30:21 +0200
• d656e028c6 enough for today depsterr 2022-04-23 16:38:53 +0200
• bdb30a2d62 initial commit depsterr 2022-04-23 15:18:06 +0200