git.iko.soy/Idris-dev
on 8935fed 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.idrTrying a new Effects api inputAdd Hangman example to tests runAdd Hangman example to tests