f9c99ccFix style inconsistencyJoomy Korkut9 years ago 22bcbd3Add Cast instance for Nat to StringJoomy Korkut9 years ago e87d767Merge pull request #4007 from melted/calm_appveyorNiklas Larsson9 years ago 0338341Try to make appveyor not be mad at warningsNiklas Larsson9 years ago 0722f9dMerge pull request #4005 from clayrat/patch-5Niklas Larsson9 years ago bb5e943Merge pull request #4006 from ivanov/add-system-docAhmad Salim Al-Sibahi9 years ago 45b90deadd System.system documentationPaul Ivanov9 years ago 11fb110added prim op LComplAlex Gryzlov9 years ago b352960Merge pull request #3941 from ruippeixotog/if-not-lt-then-gteAhmad Salim Al-Sibahi9 years ago 8b60548Merge pull request #3998 from melted/issue3994Niklas Larsson9 years ago 385cf27Merge pull request #3993 from Melvar/standard-showsNiklas Larsson9 years ago 3ad2672Prefer to load imports from the current packageNiklas Larsson9 years ago 18a1826Make a few Show instances parenthesise properlyMelvar Chen9 years ago ebd2e6fMerge pull request #3989 from melted/ptr_eqNiklas Larsson9 years ago 50d0e48Merge pull request #3919 from geigerzaehler/simplify-language-varAhmad Salim Al-Sibahi9 years ago 80c84ccMerge pull request #3917 from geigerzaehler/refactor-js-codegenNiklas Larsson9 years ago 96c1aeaRemove redundant importsThomas Scholtes9 years ago 4fc4c93Remove unused function in JS codegenThomas Scholtes9 years ago 41cc113Remove unused data in JS code generationThomas Scholtes9 years ago 311e3beSimplify JS code generationThomas Scholtes9 years ago 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes9 years ago 69c3c9aChange eqPtr to use the primitiveNiklas Larsson9 years ago 83b1bedMerge pull request #3986 from jfdm/fix-literate-moduleJan de Muijnck-Hughes9 years ago e3bd9eaFix line number reporting for `Text.Literate`.Jan de Muijnck-Hughes9 years ago 4494bc7Merge pull request #3985 from jfdm/literate-moduleJan de Muijnck-Hughes9 years ago 21ea61bAddition of a literate tooling to `contrib`.Jan de Muijnck-Hughes9 years ago c57269bMerge pull request #3983 from melted/fix_fastaNiklas Larsson9 years ago 7e25ae9Add cabal new-build's build dir to ignoreNiklas Larsson9 years ago bf01486Fix fasta benchmarkNiklas Larsson9 years ago 7d0263aMerge pull request #3982 from melted/fix_cabal2_winNiklas Larsson9 years ago 2584944Fix build with Cabal 2.0.0.2 on WindowsNiklas Larsson9 years ago e4fbe77Add missing 'Default-Language' fieldEdwin Brady9 years ago 7bf6cdeMerge pull request #3981 from ahmadsalim/contribution/issue-reporting-updateAhmad Salim Al-Sibahi9 years ago 725605fAdded issue templateAhmad Salim Al-Sibahi9 years ago 5e0301cIncrement version, update CHANGELOGEdwin Brady9 years ago c79d4d3Fix reference to old heap in idris_concatEdwin Brady9 years ago b30057f-f execonly now builts RTS tooEdwin Brady9 years ago d3c4842Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago deaa136Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago 56cd328Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago a5ff76dMerge pull request #3975 from bonds/masterNiklas Larsson9 years ago c0c6665Merge pull request #3977 from felixonmars/fix/typoNiklas Larsson9 years ago 0838a92Merge pull request #3974 from MarcelineVQ/stack-9Niklas Larsson9 years ago bd1aef3Only change diff options for OpenBSDScott Bonds9 years ago 2367d60Merge branch 'master' of github.com:idris-lang/Idris-devScott Bonds9 years ago 03ad31fFix typos in libs/prelude/Prelude/Bits.idrFelix Yan9 years ago b95196fMerge pull request #3969 from ziman/faster-erasureNiklas Larsson9 years ago 9ac4fdcMerge branch 'master' of github.com:idris-lang/Idris-devScott Bonds9 years ago fdc0e3cAdd support for running tests on OpenBSD, fixes #3964Scott Bonds9 years ago 0e118ddchange extra-deps for idris 1.1.0 lts-9.0 resolverMarcelineVQ9 years ago