git.iko.soy/Idris-dev
on ff0fbfa help sign in
Idris-dev/test/reg011
3 files
../ expectedBe more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #227 reg011.idrBe more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #227 runBe more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #227