git.iko.soy/Idris-dev
on 9302221 help sign in
Idris-dev/test/reg037
3 files
../ expectedTreat (=) as a special function name. Includes a regression test. reg037.idrTreat (=) as a special function name. Includes a regression test. runTreat (=) as a special function name. Includes a regression test.