git.iko.soy/Idris-dev
on c7efd0a help sign in
c7efd0aMerge pull request #2714 from david-christiansen/no-more-ugly-scriptDavid Christiansen 0f89577Remove NErasedDavid Raymond Christiansen be03634Merge pull request #2712 from david-christiansen/no-more-ugly-scriptDavid Christiansen d5b66a9Show source location of case block namesDavid Raymond Christiansen 32269f8Merge pull request #2711 from david-christiansen/no-more-ugly-scriptDavid Christiansen 32ce95fBetter error on staging problem for Elab scriptsDavid Raymond Christiansen d244c04Improve tactic documentationDavid Raymond Christiansen 83aa146Stop let-binding Elab scripts around their holesDavid Raymond Christiansen 76f9286Merge pull request #2709 from david-christiansen/issue/2705David Christiansen 3b9206bError message instead of crash when searching on a guessDavid Raymond Christiansen 4e8db4aMerge pull request #2707 from jfdm/rtd-menu-cleanupJan de Muijnck-Hughes 7b24211Bumped version number for docs.Jan de Muijnck-Hughes 262369cFixed reST error in docs.Jan de Muijnck-Hughes c1b329cCleaned up the menu for the docs.Jan de Muijnck-Hughes 1304510Merge pull request #2702 from david-christiansen/reflection-simplificationDavid Christiansen cc9cac4Improve the documentation of Language.ReflectionDavid Raymond Christiansen b774d12Remove NLet binder from reflection APIDavid Raymond Christiansen 01e51f1CHANGELOG update for simplified reflectionDavid Raymond Christiansen 4b06aa4CHANGELOG update for simplified reflectionDavid Raymond Christiansen 539394bMerge pull request #2699 from david-christiansen/reflection-simplificationDavid Christiansen 105c230Simplify reflection and RawDavid Raymond Christiansen 75e45f9Merge pull request #2680 from eklavya/patch-1David Christiansen 7ae1321fix exampleSaurabh Rawat c2a473aremoved unnecessary casts, style fixesSaurabh Rawat 0400a88Merge pull request #2697 from melted/temp_extNiklas Larsson 609835eAllow an extension on tempfilesNiklas Larsson bf1a1efMerge pull request #2692 from mitchellwrosen/patch-2Jan de Muijnck-Hughes ac9d6feMerge pull request #2694 from melted/include_tweakNiklas Larsson fc3229fUse "" instead of <> for includesNiklas Larsson 17087a7last -> listMitchell Rosen 97d9240Merge pull request #2690 from justjoheinz/patch-1Jan de Muijnck-Hughes 3326969Fix typoMarkus Klink 9302809Integer overflow fix, style fixesSaurabh Rawat a79463eMerge pull request #2687 from david-christiansen/pruvilojDavid Christiansen 5902e1dPruviloj ops for splitting productsDavid Raymond Christiansen 00d011cFix display of :missing on non-ANSI terminalsDavid Raymond Christiansen 9f9be2eAdd disjointness and injectivity automationDavid Raymond Christiansen 01a11c7parsing negative and non negative numbersSaurabh Rawat 65dde92Preserve context mods after recursive Elab scriptDavid Raymond Christiansen 76bcaf2Add the ability to look up if a name is a TC to ElabDavid Raymond Christiansen c9973ebAdd andThen and refine to PruvilojDavid Raymond Christiansen 210db7dClean up inference in PruvilojDavid Raymond Christiansen 6ee21c7Merge pull request #2683 from jfdm/perf-effectJan de Muijnck-Hughes c234038Merge pull request #2684 from 4e6/travis-container-infrastructureNiklas Larsson 3998c4fMerge pull request #2681 from jfdm/file-effect-contribJan de Muijnck-Hughes 89f49b8Merge pull request #2682 from jfdm/log-eff-updatesJan de Muijnck-Hughes bcc5fbfThe `PERF` Effect.Jan de Muijnck-Hughes 7dde291fix GHC 7.10 compilation warningDmitry Bushev 291f69abuild script for Travis container-based infrastructureDmitry Bushev 18e4b21Minor change to display of metavariablesEdwin Brady