git.iko.soy/Idris-dev
on master help sign in
history of9d0b4ee..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 7cbf0cbMerge pull request #713 from ahmadsalim/feature/inductiontacticEdwin Brady 15ed733(Temporarily) Remove haddock tests from travisEdwin Brady d82d928Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 5bee123Merge pull request #717 from jfdm/contrib-guidelinesEdwin Brady 1bffa17Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntaxEdwin Brady 2397a17Merge pull request #701 from jfdm/contrib/idrislang.styEdwin Brady 99beed8Default superclass intancesBrian McKenna 65c301cRecursive constructor disjointness + cleanupMatus Tejiscak e8ab848Added contributing guidelines.Jan de Muijnck-Hughes 3dd83b7Remove superfluous functionMelvar Chen 86e32fbReadded solveAllAhmad Salim Al-Sibahi 5bc16aeFixed reflection induction tacticAhmad Salim Al-Sibahi 1e93672Improvment on readability and usability of induction and eliminators.Ahmad Salim Al-Sibahi 2dc07faInduction on nat workingAhmad Salim Al-Sibahi d66da21Cosmetic tweak in interactive editingEdwin Brady cb625a2Added inputIdrisListing command to load external files.Jan de Muijnck-Hughes 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