|
chez
|
Start adding tests for TypeDD book
|
2019-06-30 15:50:58 +01:00 |
|
idris2
|
Change elaboration of lets
|
2019-07-28 13:43:01 +01:00 |
|
ttimp
|
Chapter 11 examples now working
|
2019-07-08 23:46:20 +02:00 |
|
typedd-book
|
Finish Chapter 12 tests
|
2019-07-12 09:34:29 +02:00 |
|
Main.idr
|
Run individual tests (Fixes #23)
|
2019-07-28 18:54:23 +02:00 |
|
Makefile
|
Run individual tests (Fixes #23)
|
2019-07-28 18:54:23 +02:00 |
