git.iko.soy/Idris-dev
on master help sign in
history of7cbf0cb..master
compare
cd8fe96Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 2e570a3Merge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instancesEdwin Brady 50e9624Merge pull request #715 from Melvar/masterEdwin Brady 99beed8Default superclass intancesBrian McKenna 65c301cRecursive constructor disjointness + cleanupMatus Tejiscak 3dd83b7Remove superfluous functionMelvar Chen ed50df1Simplify logic for setVerbose in REPLBrian McKenna f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 9c54fc1Proper checking for language extensionDavid Christiansen 357cd83Add ErrorHandler Binary instanceDavid Christiansen 1203cb9Fix comment syntax for highlightingDavid Christiansen 52d8165Allow functions to be declared as error handlersDavid Christiansen ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross