git.iko.soy/Idris-dev
on master help sign in
history ofbc3a9bf..master
compare
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 2c91accChanged to not affect normal expression parsingZack Grannan a8f7652Update testsZack Grannan 17d75fbAdd test to idrisZack Grannan 5f89889Update CONTRIBUTORSZack Grannan 14cf196Added testsZack Grannan 72d3e86Allow operator to be parsed as expr in replZack Grannan 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 3cf106epure -> pureM in depeff tutorialMitchell 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 62e662bRestructed vector add example and fixed error in code snippet.Craig McLaughlin 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 63ff875use ord to get '0's int valueSaurabh Rawat 7f61ef6Added whole R/W effectful file ops.Jan de Muijnck-Hughes e973421Removed 'erroneous' Show instance for `LogRes`.Jan de Muijnck-Hughes 2f99890remove extra newline at the endSaurabh Rawat 38b08c5String to Int function. #2639Saurabh Rawat b540068Add $!! when reloading in processNetEdwin Brady dcacfeaMerge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi bf0fe16Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsingAhmad Salim Al-Sibahi