git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/effects004
4 files
../ effects004.idrForgot to commit effects004 expectedForgot to commit effects004 inputForgot to commit effects004 runmake the tests respect the IDRIS env variable