fbc01c4Implement shebang handlingNiklas Larsson9 years ago 0e3922bstylizebe5invis9 years ago cc45cddMerge pull request #3946 from melted/disable_mac_travisNiklas Larsson9 years ago f8581daDisable macOS builds on TravisNiklas Larsson9 years ago 9c480f1Merge pull request #3938 from mitchmindtree/st_typoNiklas Larsson9 years ago 999d8b3Merge pull request #3944 from emptyflash/patch-1Niklas Larsson9 years ago dad1728Fix "and" typo in syntax guideCameron Alexander9 years ago 9fe2ea2Merge pull request #3939 from melted/ghc_8.2Niklas Larsson9 years ago 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson9 years ago 8f0934cAdd ifNotLtThenGte to PreludeRui Gonçalves9 years ago ad480b0Fix for GHC 8.2.1 compilationNiklas Larsson9 years ago 5e22fb4Fix code typo in "Composing State Machines" documentationmitchmindtree9 years ago a0de8cbstylised HSmandubian9 years ago 0f8b4caMerge pull request #3935 from rbarreiro/add_regression_test_js_unexpected_con_as_globNiklas Larsson9 years ago 416251fFixes #1211 : checking default impl in interfaces through parent constraints recursivelymandubian9 years ago 243e02fMerge branch 'master' of github.com:idris-lang/Idris-dev into add_regression_test_js_unexpected_con_as_globRui Barreiro9 years ago cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro9 years ago a5671a4changes after reviewAlex Gryzlov9 years ago 7a6226aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady9 years ago e32f5cdMerge pull request #3930 from rbarreiro/fix_js_unexpected_con_as_globNiklas Larsson9 years ago ad592cdadd consInjective to Prelude.ListAlex Gryzlov9 years ago 1e044ffMerge pull request #3931 from melted/refactor_optsNiklas Larsson9 years ago e8596bcMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady9 years ago 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago 19a7a2dstylize whitespace fixRui Barreiro9 years ago a9eaa61fix_js_unexpected_con_as_globRui Barreiro9 years ago 3ef0740add symmetry, symmetryIn and applyInAlex Gryzlov9 years ago b6c0ae4Fix error when error reflection failsEdwin Brady9 years ago 97805c4Fix typo in reflection testEdwin Brady9 years ago a8a4564Merge pull request #3926 from justjoheinz/patch-4Ahmad Salim Al-Sibahi9 years ago c0abcaeMerge pull request #3798 from tmcgilchrist/patch-2Ahmad Salim Al-Sibahi9 years ago a750910Merge pull request #3795 from kaeluka/patch-1Ahmad Salim Al-Sibahi9 years ago 42d4734Remove duplicate description of `:repl-completion`Markus Klink9 years ago 6e10939Merge pull request #3914 from clayrat/patch-2David Christiansen9 years ago aee5b54Merge pull request #3925 from clayrat/move-bool-absurdDavid Christiansen9 years ago 5a2d752add Uninhabited instances for True=False, remove unused proof from Data.HeapAlex Gryzlov9 years ago 8c5de76Merge pull request #3922 from eraserhd/implicit-doc-fixAhmad Salim Al-Sibahi9 years ago 4b667a9Fix implication that implicit relates to totalityJason Felice9 years ago 040735dUpdate optparse-applicativeThomas Scholtes9 years ago c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes9 years ago 31def51Mention do-notation in elab shell docsAlex Gryzlov9 years ago 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes9 years ago 05fbd11Merge pull request #3905 from clayrat/patch-1David Christiansen9 years ago 2c8c1cdupdate CHANGELOG.mdAlex Gryzlov9 years ago 17eb61cadd proof of `decEq x x = Yes Refl`Alex Gryzlov9 years ago 9fb9d7fMerge pull request #3903 from Risto-Stevcev/fix-js-lib-requireNiklas Larsson9 years ago 810b5dcAlso fixed issue where require-ing filenames with periods would end up unintentally having property access syntaxRisto Stevcev9 years ago 8ab4dc8Merge pull request #3902 from clayrat/masterNiklas Larsson9 years ago 2fdf342Fix issue where relative paths aren't parsed correctly for JS %lib includesRisto Stevcev9 years ago 06501c2mark covering functions using `sizeAccessible` as `public export total` so that they reduce in proofsAlex Gryzlov9 years ago