git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/test/sugar001
3 files
../ expectedCategorise tests runCategorise tests test007.idrChanged (<$>) to (<*>)