git.iko.soy/Idris-dev
on 69c231c help sign in
69c231cMerge pull request #3910 from jfdm/fix-warningJan de Muijnck-Hughes c97e3e1Merge pull request #3950 from jfdm/latest-stackNiklas Larsson 253c5c8Bump Idris to compile using LTS Haskell 9.0.Jan de Muijnck-Hughes 385dcbfMerge pull request #3948 from melted/shebangNiklas Larsson aa0b315Merge pull request #3847 from be5invis/be5invis-do-rewriteNiklas Larsson fbc01c4Implement shebang handlingNiklas Larsson 0e3922bstylizebe5invis cc45cddMerge pull request #3946 from melted/disable_mac_travisNiklas Larsson f8581daDisable macOS builds on TravisNiklas Larsson 9c480f1Merge pull request #3938 from mitchmindtree/st_typoNiklas Larsson 999d8b3Merge pull request #3944 from emptyflash/patch-1Niklas Larsson dad1728Fix "and" typo in syntax guideCameron Alexander 9fe2ea2Merge pull request #3939 from melted/ghc_8.2Niklas Larsson 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson ad480b0Fix for GHC 8.2.1 compilationNiklas Larsson 5e22fb4Fix code typo in "Composing State Machines" documentationmitchmindtree 0f8b4caMerge pull request #3935 from rbarreiro/add_regression_test_js_unexpected_con_as_globNiklas Larsson 243e02fMerge branch 'master' of github.com:idris-lang/Idris-dev into add_regression_test_js_unexpected_con_as_globRui Barreiro cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro 7a6226aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e32f5cdMerge pull request #3930 from rbarreiro/fix_js_unexpected_con_as_globNiklas Larsson 1e044ffMerge pull request #3931 from melted/refactor_optsNiklas Larsson e8596bcMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 19a7a2dstylize whitespace fixRui Barreiro a9eaa61fix_js_unexpected_con_as_globRui Barreiro b6c0ae4Fix error when error reflection failsEdwin Brady 97805c4Fix typo in reflection testEdwin Brady a8a4564Merge pull request #3926 from justjoheinz/patch-4Ahmad Salim Al-Sibahi c0abcaeMerge pull request #3798 from tmcgilchrist/patch-2Ahmad Salim Al-Sibahi a750910Merge pull request #3795 from kaeluka/patch-1Ahmad Salim Al-Sibahi 42d4734Remove duplicate description of `:repl-completion`Markus Klink 6e10939Merge pull request #3914 from clayrat/patch-2David Christiansen aee5b54Merge pull request #3925 from clayrat/move-bool-absurdDavid Christiansen 5a2d752add Uninhabited instances for True=False, remove unused proof from Data.HeapAlex Gryzlov 8c5de76Merge pull request #3922 from eraserhd/implicit-doc-fixAhmad Salim Al-Sibahi 4b667a9Fix implication that implicit relates to totalityJason Felice 040735dUpdate optparse-applicativeThomas Scholtes c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes 31def51Mention do-notation in elab shell docsAlex Gryzlov 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes 05fbd11Merge pull request #3905 from clayrat/patch-1David Christiansen 2c8c1cdupdate CHANGELOG.mdAlex Gryzlov 17eb61cadd proof of `decEq x x = Yes Refl`Alex Gryzlov 9fb9d7fMerge pull request #3903 from Risto-Stevcev/fix-js-lib-requireNiklas Larsson 810b5dcAlso fixed issue where require-ing filenames with periods would end up unintentally having property access syntaxRisto Stevcev 8ab4dc8Merge pull request #3902 from clayrat/masterNiklas Larsson 2fdf342Fix issue where relative paths aren't parsed correctly for JS %lib includesRisto Stevcev 06501c2mark covering functions using `sizeAccessible` as `public export total` so that they reduce in proofsAlex Gryzlov e819e6bMerge pull request #3897 from melted/fix_widgetNiklas Larsson