git.iko.soy/Idris-dev
on ee3da18 help sign in
history oflib/IO.idr
all commits
05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders 2572b10Parameterized integer FFIBenjamin Saunders 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