|
chez
|
Updating typecase, add tests
|
2019-06-29 21:32:19 +01:00 |
|
idris2
|
Updating typecase, add tests
|
2019-06-29 21:32:19 +01:00 |
|
ttimp
|
Make sure matches are not too specific
|
2019-06-29 19:28:04 +01:00 |
|
Main.idr
|
Updating typecase, add tests
|
2019-06-29 21:32:19 +01:00 |
|
Makefile
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
