git.iko.soy/Idris-dev
on 87fb53a help sign in
Idris-dev/test/reg053
3 files
../ expectedUnification fix for chains of solutions four.idrChanged (<$>) to (<*>) runmake the tests respect the IDRIS env variable