git.iko.soy/Idris-dev
on 4d16a95 help sign in
Idris-dev/test/tutorial003
3 files
../ expectedAdd tests for tutorial examples runAdd tests for tutorial examples tutorial003.idrChanged (<$>) to (<*>)