git.iko.soy/Idris-dev
on master help sign in
history ofa0de8cb..master
compare
fbc01c4Implement shebang handlingNiklas Larsson 0e3922bstylizebe5invis cc45cddMerge pull request #3946 from melted/disable_mac_travisNiklas Larsson f8581daDisable macOS builds on TravisNiklas Larsson 9c480f1Merge pull request #3938 from mitchmindtree/st_typoNiklas Larsson 999d8b3Merge pull request #3944 from emptyflash/patch-1Niklas Larsson dad1728Fix "and" typo in syntax guideCameron Alexander 9fe2ea2Merge pull request #3939 from melted/ghc_8.2Niklas Larsson 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson 8f0934cAdd ifNotLtThenGte to PreludeRui Gonçalves ad480b0Fix for GHC 8.2.1 compilationNiklas Larsson 5e22fb4Fix code typo in "Composing State Machines" documentationmitchmindtree 0f8b4caMerge pull request #3935 from rbarreiro/add_regression_test_js_unexpected_con_as_globNiklas Larsson 243e02fMerge branch 'master' of github.com:idris-lang/Idris-dev into add_regression_test_js_unexpected_con_as_globRui Barreiro cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro a5671a4changes after reviewAlex Gryzlov 7a6226aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady ad592cdadd consInjective to Prelude.ListAlex Gryzlov e8596bcMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3ef0740add symmetry, symmetryIn and applyInAlex Gryzlov b6c0ae4Fix error when error reflection failsEdwin Brady 97805c4Fix typo in reflection testEdwin Brady 040735dUpdate optparse-applicativeThomas Scholtes c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes 2af672aRun haskell-stylishNiklas Larsson 2fc1fc6Implement a RWS monad for the C backendNiklas Larsson 7b7aa39bump ibcVersionBelleve Invis f3e8934Attempt to resolve unix pkg conflictEdmund Smith 5aaa39eIncrement ibc version numberEdmund Smith 1122194Merge branch 'master' of https://github.com/idris-lang/Idris-dev into issue3796Edmund Smith 3280526Use toUpper to convert NaN and Infinity to C namesEdmund Smith 59bfe8bUse explicit IEEE-friendly marshallingEdmund Smith 9d6855efix typobe5invis 96a982aAdd do-rewritebe5invis