git.iko.soy/Idris-dev
on de0bcbd 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.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc runBe more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #227