git.iko.soy/Idris-dev
on 7e43af7 help sign in
Idris-dev/test/reg056
3 files
../ expectedFix checkPossible when unifying bound vars reg056.idrFix checkPossible when unifying bound vars runFix checkPossible when unifying bound vars