expected
|
Switch buffers back to scheme FFI
|
2020-05-17 22:49:41 +01:00 |
input
|
A bit more totality checking polish
|
2019-06-25 12:57:49 +01:00 |
run
|
Add '--no-banner' option
|
2019-09-24 20:26:25 +06:00 |
Total.idr
|
Start adding tests for TypeDD book
|
2019-06-30 15:50:58 +01:00 |