git.iko.soy/Idris-dev
on a5e76fc help sign in
Idris-dev/test/effects003
6 files
../ VectMissing.idrAdd Hangman example to tests expectedAdd missing test file fooAdd Hangman example to tests hangman.idrAdd Hangman example to tests inputAdd Hangman example to tests runAdd Hangman example to tests