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
..
Golden.idr	Make Idris2 test harness available for the many and not the few. (#719)	2020-10-19 09:26:23 +01:00