|
|
efca9a7138
|
add enums, which also need whnf to be fallible :(
|
2023-02-22 07:45:10 +01:00 |
|
|
|
0e481a8098
|
new representation for scopes
|
2023-02-22 07:40:19 +01:00 |
|
|
|
fe8c224299
|
write quantities before names in binders again
also fixup comments in typechecker
|
2023-02-13 22:05:27 +01:00 |
|
|
|
4b36d8b7c8
|
pair stuff
|
2023-01-26 19:55:08 +01:00 |
|
|
|
f097e1c091
|
start of equality type stuff
|
2023-01-21 02:34:28 +01:00 |
|
|
|
ad794d4441
|
idris 0.6.0 [with temporary flake fork]
|
2022-10-30 18:05:30 +01:00 |
|
|
|
cde2a9b0d6
|
derive impls where possible
|
2022-05-13 07:18:49 +02:00 |
|
|
|
804f1e3638
|
remove src directories
|
2022-05-06 22:01:44 +02:00 |
|
