git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/effects003
6 files
../ VectMissing.idrAdd Hangman example to tests expectedAdd missing test file fooHigh-level if ... then ... else ... expression hangman.idrFix missing check on case in types inputAdd Hangman example to tests runAdd Hangman example to tests