git.iko.soy/Idris-dev
on 2fc1fc6 help sign in
2fc1fc6Implement a RWS monad for the C backendNiklas Larsson e581aa3Merge pull request #3878 from clayrat/patch-4Niklas Larsson 89c953aMerge pull request #3895 from undefdev/patch-1Niklas Larsson 0c93c45Moved Node.js headingundefdev 5a28aa8Merge pull request #3894 from rbarreiro/add_LFloatInt_ITBigNiklas Larsson 1fa3bbfadded prim op LFloatInt ITBigRui Barreiro 052680dMerge pull request #3893 from ziman/simplify-wfNiklas Larsson 0ad9a6bRemove obsolete comment.Matus Tejiscak 9f58621Simplify also sizeAccessible.Matus Tejiscak 893a09bRemove unnecessary clauses in proofs of accessibility.Matus Tejiscak ea65347Merge pull request #3877 from clayrat/patch-3Niklas Larsson 463076bMerge pull request #3881 from Synthetica9/patch-1Niklas Larsson 43cd347fix quotes in doc commentAlex Gryzlov 8565bceMerge pull request #3882 from rhencke/patch-4David Christiansen b174bf2Add missing information to IDE protocol docs.Robert Hencke f42279dUpdate CHANGELOG.mdPatrick Hilhorst 3bd9687Merge pull request #3876 from Synthetica9/ReaderNiklas Larsson 5b1421fMerge branch 'master' into ReaderNiklas Larsson c1329d7Merge pull request #3871 from jfdm/make-ipkg-reading-robustNiklas Larsson da363c2Merge pull request #3864 from ziman/sized-typesNiklas Larsson 586a1ceMerge branch 'master' into sized-typesMatus Tejiscak a04c165Merge pull request #3880 from melted/fix_copyfileNiklas Larsson 608fbddAdd function for strictly reading sourceNiklas Larsson db7d6caadd powAlex Gryzlov 48c4c46Fix mismerged Text.Parser.Matus Tejiscak d3f4f6cadd foldlMAlex Gryzlov c96fa48Add check for ipkg existence and correct extension.Jan de Muijnck-Hughes 42dd6abUpdate wording in CHANGELOG.Matus Tejiscak 17a2a48Merge branch 'master' into sized-typesMatus Tejiscak 5b33b66Simplify the implementation of splitRec.Matus Tejiscak 7e47b1dUpdate CHANGELOG.Matus Tejiscak 13768b9Merge pull request #3870 from jfdm/update-stackJan de Muijnck-Hughes 00dfe3eUpdated stack configuration to use LTS-8.18.Jan de Muijnck-Hughes 292fb31Merge branch 'master' into ReaderPatrick Hilhorst 265fb1dAdded Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC.Synthetica9 d9e3a20Merge pull request #3872 from melted/tracingNiklas Larsson 8d8869bImplement tracing for C backendNiklas Larsson 4903cb7Merge pull request #3873 from melted/ci_upgradeNiklas Larsson 1d9ff13Merge pull request #3874 from Synthetica9/patch-1Niklas Larsson 67b891eOnly run benchmarks when testing C targetNiklas Larsson 2509cfaParallel build of IdrisNiklas Larsson e110171Run travis under trustyNiklas Larsson 2cb780aMerge pull request #3869 from mheinzel/masterNiklas Larsson b9bad2dAdd tests for interactively adding a missing clauseMatthias Heinzel 3eabd63Fix problems when adding missing clausesMatthias Heinzel 02566bbUpdate CHANGELOG.mdPatrick Hilhorst 180fc75Added Lexer and Parser libraries to contribEdwin Brady 8897f64Merge pull request #3868 from Synthetica9/SortedMapMergeNiklas Larsson 394567bForgot a few `export`sSynthetica9 c0463b7Improve string primitive performanceEdwin Brady