Edwin Brady 4ab543b83d A bit more library support, for Chapter 9 ... Also a tweak to errors when compiling to scheme, so that it properly reports an error then quits if it's supposed to crash.		2019-07-05 17:24:15 +01:00
..
Buffer.idr	Add 'base' libraries	2019-06-15 11:54:22 +01:00
Fin.idr	More base libraries	2019-06-30 23:54:50 +01:00
IORef.idr	Add 'base' libraries	2019-06-15 11:54:22 +01:00
List.idr	Delay case elaboration	2019-07-02 16:53:41 +01:00
Maybe.idr	Delay case elaboration	2019-07-02 16:53:41 +01:00
Nat.idr	Delay case elaboration	2019-07-02 16:53:41 +01:00
So.idr	Parse pattern matching lambda	2019-07-03 13:04:25 +01:00
Strings.idr	A bit more library support, for Chapter 9	2019-07-05 17:24:15 +01:00
Vect.idr	Add flag for whether a hole is an unbound implicit	2019-07-05 14:58:48 +01:00