git.iko.soy/Idris-dev
on ff7ea9d help sign in
history oftest/basic010/Main.idr
all commits
da914afConsistency of implicit/pattern name binding rulesEdwin Brady 5d269e3:exec can take an expression as an argumentEdwin Brady 8f54aafFixed some tests broken under renamingAhmad Salim Al-Sibahi c848c29Implement basic010 properly.Matus Tejiscak b8d355cImplement basic010.Matus Tejiscak b9781fbMake evidence witness explicit.Matus Tejiscak f13c6adAdd test, create the DepPair typeclass.Matus Tejiscak