Edwin Brady 6dd18d798a Allow annotating functions with multiplicity ... This means we can write truly type level only functions, by annotating them with a 0 before the type declaration.		2019-07-20 18:04:18 +01:00
..
chez	Start adding tests for TypeDD book	2019-06-30 15:50:58 +01:00
idris2	Allow annotating functions with multiplicity	2019-07-20 18:04:18 +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	Allow annotating functions with multiplicity	2019-07-20 18:04:18 +01:00
Makefile	Change main program to be Idris2	2019-06-09 11:58:29 +01:00