git.iko.soy/Idris-dev
on 08e9182 help sign in
history oflib/IO.idr
all commits
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