1e044ffMerge pull request #3931 from melted/refactor_optsNiklas Larsson9 years ago 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 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 31def51Mention do-notation in elab shell docsAlex Gryzlov9 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 e819e6bMerge pull request #3897 from melted/fix_widgetNiklas Larsson9 years ago 6d2f6b1Fix hackage widgetNiklas Larsson9 years ago e581aa3Merge pull request #3878 from clayrat/patch-4Niklas Larsson9 years ago 89c953aMerge pull request #3895 from undefdev/patch-1Niklas Larsson9 years ago 0c93c45Moved Node.js headingundefdev9 years ago 5a28aa8Merge pull request #3894 from rbarreiro/add_LFloatInt_ITBigNiklas Larsson9 years ago 1fa3bbfadded prim op LFloatInt ITBigRui Barreiro9 years ago 052680dMerge pull request #3893 from ziman/simplify-wfNiklas Larsson9 years ago 0ad9a6bRemove obsolete comment.Matus Tejiscak9 years ago 9f58621Simplify also sizeAccessible.Matus Tejiscak9 years ago 893a09bRemove unnecessary clauses in proofs of accessibility.Matus Tejiscak9 years ago ea65347Merge pull request #3877 from clayrat/patch-3Niklas Larsson9 years ago 463076bMerge pull request #3881 from Synthetica9/patch-1Niklas Larsson9 years ago 43cd347fix quotes in doc commentAlex Gryzlov9 years ago 8565bceMerge pull request #3882 from rhencke/patch-4David Christiansen9 years ago b174bf2Add missing information to IDE protocol docs.Robert Hencke9 years ago f42279dUpdate CHANGELOG.mdPatrick Hilhorst9 years ago 3bd9687Merge pull request #3876 from Synthetica9/ReaderNiklas Larsson9 years ago 5b1421fMerge branch 'master' into ReaderNiklas Larsson9 years ago c1329d7Merge pull request #3871 from jfdm/make-ipkg-reading-robustNiklas Larsson9 years ago da363c2Merge pull request #3864 from ziman/sized-typesNiklas Larsson9 years ago 586a1ceMerge branch 'master' into sized-typesMatus Tejiscak9 years ago a04c165Merge pull request #3880 from melted/fix_copyfileNiklas Larsson9 years ago 608fbddAdd function for strictly reading sourceNiklas Larsson9 years ago db7d6caadd powAlex Gryzlov9 years ago 48c4c46Fix mismerged Text.Parser.Matus Tejiscak9 years ago d3f4f6cadd foldlMAlex Gryzlov9 years ago c96fa48Add check for ipkg existence and correct extension.Jan de Muijnck-Hughes9 years ago 42dd6abUpdate wording in CHANGELOG.Matus Tejiscak9 years ago 17a2a48Merge branch 'master' into sized-typesMatus Tejiscak9 years ago