git.iko.soy/Idris-dev
on ff0fbfa help sign in
history oflib/IO.idr
all commits
6cdb125Rewrite ForeignTy as non-tail-recursive to simplify proving equalityBenjamin Saunders cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 9affb75Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possibleEdwin Brady 991ee91Merge branch 'lib' of https://github.com/raichoo/Idris-devEdwin Brady 5c9a88auppercase modulenamesraichoo