git.iko.soy/Idris-dev
on 59ea372 help sign in
Idris-dev/test/interactive015
1 folder, 3 files
../ src/Add tests for interactively adding a missing clause expectedAdd tests for interactively adding a missing clause inputAdd tests for interactively adding a missing clause runAdd tests for interactively adding a missing clause