git.iko.soy/Idris-dev
on dd71249 help sign in
Idris-dev/test/basic009
1 folder, 6 files
../ B/Categorise tests A.idrCategorise tests Faulty.idrCategorise tests Main.idrCategorise tests Multiple.idrCategorise tests expectedKeep type arguments of = when unelaborating runCategorise tests