git.iko.soy/Idris-dev
on bb0162f help sign in
Idris-dev/test/effects003
5 files
../ VectMissing.idrAdd Hangman example to tests fooAdd Hangman example to tests hangman.idrAdd Hangman example to tests inputAdd Hangman example to tests runAdd Hangman example to tests