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