Idris2-boot/libs/base
Edwin Brady 78e44a4353 Reading/writing buffers can fail
So, make them return and Either and wrap the scheme definitions in an
exception handler that returns an error code on failure
2019-09-28 18:33:46 +01:00
..
Control Add some Control.Monad things 2019-07-10 20:18:40 +02:00
Data Reading/writing buffers can fail 2019-09-28 18:33:46 +01:00
Decidable Need to export DecEq implementations! 2019-07-05 18:41:50 +01:00
Language Make a start on reflection 2019-08-27 15:49:21 +01:00
System Support for buffers and file erros in Racket CG 2019-09-28 18:10:14 +01:00
base.ipkg Make a start on reflection 2019-08-27 15:49:21 +01:00
Makefile Add 'base' libraries 2019-06-15 11:54:22 +01:00
System.idr Chapter 11 examples now working 2019-07-08 23:46:20 +02:00