Jan de Muijnck-Hughes de58c66ab2 Make Idris2 test harness available for the many and not the few. (#719) ... Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>		2020-10-19 09:26:23 +01:00
..
base	Make Idris2 test harness available for the many and not the few. (#719)	2020-10-19 09:26:23 +01:00
contrib	Make Idris2 test harness available for the many and not the few. (#719)	2020-10-19 09:26:23 +01:00
network	network: Retrieve AF_* magic constants from C support code.	2020-10-01 12:05:42 +01:00
prelude	Add a (>>) operator, implemented in terms of (>>=).	2020-10-01 13:16:58 +01:00