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