git.iko.soy/Idris-dev
on 65ba5c5 help sign in
65ba5c5fix commentAlex Gryzlov c11c55eparse rig count for letAlex Gryzlov 06db7dcFix corner case with dot patternsEdwin Brady d77513bUpdate version number properly this time (sorry!)v1.2.0Edwin Brady ab806e9Update version numberEdwin Brady a9b30adMerge pull request #4280 from asandroq/set-build-env-flagsEdwin Brady beb8e9cInsert mutual in "using implementation" blocksEdwin Brady 05634d7Merge pull request #4275 from asandroq/remove-align-macroNiklas Larsson a83da16Fix for mkdir on windowsEdwin Brady 5eb8f83Add directory management functionsEdwin Brady d1fae54Merge pull request #4260 from Melvar/let-alternativesMelvar Chen f71664eMerge pull request #4278 from asandroq/move-cdata-docsAhmad Salim Al-Sibahi 946c9e1Set environment with Idris flags while running `make`Alex Queiroz e65d0faMove documentation for the C heap to the FFI documentAlex Queiroz 97496b7Merge pull request #4277 from namanbharadwaj/patch-1Ahmad Salim Al-Sibahi 41fccebMerge pull request #4276 from i-am-tom/masterDavid Thrane Christiansen 74d29c0Replace '-' with '_' in LHS of Node requiresNaman Bharadwaj dcb6ab1Implement DecEq for ElemTom Harding d23221bFix efficiency problem with module chasingEdwin Brady 19ea4ffRemove `ALIGN` macroAlex Queiroz 6f08595Merge pull request #4263 from clayrat/monad-helpersAhmad Salim Al-Sibahi 4431c5aMerge pull request #4274 from clayrat/uninhabited-maybeAhmad Salim Al-Sibahi 95cb7b4add Uninhabited instances for MaybeAlex Gryzlov 6aea36cmove into contribAlex Gryzlov 86e5546Process !-notation in function declarationsEdwin Brady 1ecb649Fixes for shifting IntegerEdwin Brady 78b9234Fix off-by-one error when reading stringsEdwin Brady 30505c1Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 9c8b3d4Add some buffer primitivesEdwin Brady 45a3f93Merge pull request #4246 from eraserhd/pretty-warningsJason Felice a037d4cFix up CHANGELOG.mdJason Felice b17c634Update the test for let- and bind-alternativesMelvar Chen b3ee2dfUpdate the changelogMelvar Chen a1ce523Add error for type+alternatives as suggestedMelvar Chen 2cc9ee5Add alternatives syntax to `let` in `do` blocksMelvar Chen 37b4861Rename to emitWarningJason Felice fd63a9dRename to SimpleWarningJason Felice 2576d6dFormat some messages in the proverJason Felice e1697f7Make stylish changeJason Felice 4162113Merge pull request #4264 from mlang/doctyposJason Felice 117a8ecMerge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 1e4133bMerge pull request #4243 from eraserhd/deprecated-parser-featuresJason Felice d03a437Fix typos in docsMario Lang b7e2e18Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice 12594b3Better warnings for `class` and `instance`Jason Felice 28c3928Add helper functions for MonadAlex Gryzlov 76e45a3Merge pull request #4261 from jfdm/bump-to-lts-haskell-10Jan de Muijnck-Hughes cd7e553Bumped Idris to work with LTS Haskell 10.Jan de Muijnck-Hughes 9e34930Fix export in Node back endEdwin Brady 1d3bef9Adjust warnings re: class and instanceJason Felice