Edwin Brady a130952928 Switch buffers back to scheme FFI ... It's just easier to deal with the memory management! But we should do something more flexible here later.		2020-05-17 22:49:41 +01:00
..
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