git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/interpret002
5 files
../ expectedInterpreter tests (#3747) file-error.idrInterpreter tests (#3747) inputInterpreter tests (#3747) readable.txtInterpreter tests (#3747) runInterpreter tests (#3747)