git.iko.soy/Idris-dev
on deaa136 help sign in
deaa136Update CONTRIBUTING.mdAhmad Salim Al-Sibahi 56cd328Update CONTRIBUTING.mdAhmad Salim Al-Sibahi a5ff76dMerge pull request #3975 from bonds/masterNiklas Larsson c0c6665Merge pull request #3977 from felixonmars/fix/typoNiklas Larsson 0838a92Merge pull request #3974 from MarcelineVQ/stack-9Niklas Larsson bd1aef3Only change diff options for OpenBSDScott Bonds 2367d60Merge branch 'master' of github.com:idris-lang/Idris-devScott Bonds 03ad31fFix typos in libs/prelude/Prelude/Bits.idrFelix Yan b95196fMerge pull request #3969 from ziman/faster-erasureNiklas Larsson 9ac4fdcMerge branch 'master' of github.com:idris-lang/Idris-devScott Bonds fdc0e3cAdd support for running tests on OpenBSD, fixes #3964Scott Bonds 0e118ddchange extra-deps for idris 1.1.0 lts-9.0 resolverMarcelineVQ 9d69b47Merge pull request #3973 from idris-lang/revert_rwsNiklas Larsson e71ead1Merge pull request #3965 from felixonmars/cheapskate-0.1.1Niklas Larsson 011de20Merge pull request #3860 from edmundsmith/issue3796Niklas Larsson 202e930Merge pull request #3972 from jfdm/report-erasure-stepNiklas Larsson 408f55eMerge pull request #3966 from clayrat/patch-4Ahmad Salim Al-Sibahi 9021dacAdd a comment.Matus Tejiscak 0fcab91Add comments, add version number to CHANGELOG.Matus Tejiscak bd53469Merge pull request #3967 from bonds/masterNiklas Larsson 47bcbf8Add a CHANGELOG entry.Matus Tejiscak b5424dfRevert "Merge pull request #3896 from melted/codegen_rws"Niklas Larsson 132794cMerge pull request #3970 from jfdm/text-additionsJan de Muijnck-Hughes fab515fAdd a low-level log statement for erasure step.Jan de Muijnck-Hughes 704f18dpartial-evaluation.rst: peval is off since 1.0Alex Gryzlov 1d0f14dSome combinators for Lexing and Parsing.Jan de Muijnck-Hughes 0092d8fMerge pull request #3955 from jfdm/fix-pretty-printJan de Muijnck-Hughes deca289Merge pull request #3968 from RyanGlScott/masterNiklas Larsson 876e015Solve erasure constraints faster.Matus Tejiscak 65c1e9bAdd custom-setupRyan Scott 9f8888aMake Setup.hs build with GHC 8.2Ryan Scott 03496d1Increment IBC version numberEdmund Smith 8afc195Merge branch 'master' of Idris-dev into issue3796Edmund Smith f9194a6Add OpenBSD support to shebang scriptScott Bonds 66c1af1partial-evaluation.rst: change [static] to %staticAlex Gryzlov 41de3e7Fix compatibility with cheapskate-0.1.1Felix Yan 8537689Merge pull request #3963 from bonds/masterNiklas Larsson b9b32e5Require 'unix' library on non-Windows machines, fixes #3961Scott Bonds 9831b01Lower cheapskate boundNiklas Larsson 3d5f454Merge pull request #3929 from clayrat/add-tacticsDavid Christiansen 5d37f9cMerge pull request #3959 from christophe-calves/fix/master/undeclared-variable-in-jsrtsNiklas Larsson fe6abc1Merge with fork headEdmund Smith ab65a30Merge branch 'master' of Idris-dev into issue3796Edmund Smith b3df850Merge pull request #3932 from clayrat/patch-3Niklas Larsson ce53d0eMerge pull request #3949 from melted/cabal_stuffNiklas Larsson 00efb33Fix undeclared variable in node runtimeChristophe Calvès 5c6c22fMerge branch 'master' into cabal_stuffNiklas Larsson 70f172cOkay, let's use semver... (increment to v1.1.0)v1.1.0Edwin Brady 5d7388bMove extensions into source filesEdwin Brady 7a54e9cUpdate version numberv1.0.1Edwin Brady