ea41144Text.Lexer: split core into its own moduleMichael Morgan9 years ago 62b06ebText.Lexer: avoid using private names outside coreMichael Morgan9 years ago 538aa6aText.Lexer: rewrite `exact` and `approx` in terms of `concat`Michael Morgan9 years ago a792d6bText.Lexer: add `concat`Michael Morgan9 years ago 565ccf5Text.Lexer: rearrange functions to prepare for splitMichael Morgan9 years ago 5d0b8a3Text.Parser: flip argument order of `parse`Michael Morgan9 years ago a33e785Text.Parser: additional combinatorsMichael Morgan9 years ago 36aa1b3Text.Parser: refactor and generalize combinatorsMichael Morgan9 years ago 61e7a85Text.Parser.Core: remove useless `inf`sMichael Morgan9 years ago 8783e4eData.Bool.Extra: proofs for booleans used in typesMichael Morgan9 years ago 3287187Text.Parser: use `%access export`Michael Morgan9 years ago 8b98ba2Text.Parser: move core of parser into its own moduleMichael Morgan9 years ago fd9a45aControl.Delayed: utilities for conditional `Lazy` or `Inf`Michael Morgan9 years ago b6d3c48Merge pull request #4163 from mpickering/patch-1Ahmad Salim Al-Sibahi9 years ago aad7688Megaparsec prep (#4164)Jason Felice9 years ago 6e0eebcExpose Idris.Package.ParserMatthew Pickering9 years ago 44a3f9cMerge pull request #4162 from reiner-dolp/masterNiklas Larsson9 years ago 48fa745IdrisDoc, set charset and viewportReiner Dolp9 years ago 2eec999Merge pull request #4156 from msmorgan/fix-fixitiesAhmad Salim Al-Sibahi9 years ago 3b53f2dMerge pull request #4158 from jfdm/update-pdfJan de Muijnck-Hughes9 years ago 4b384ddFix DOC version number and update shipped PDF.Jan de Muijnck-Hughes9 years ago 8a34c86adjust fixities of common operatorsMichael Morgan9 years ago b83d4baMerge pull request #4151 from msmorgan/string-funcsNiklas Larsson9 years ago 60cc3c0add some new functions to Data.String.ExtraMichael Morgan9 years ago 22d95ebMerge pull request #4113 from msmorgan/boolean-op-fixityAhmad Salim Al-Sibahi9 years ago 852be39Merge pull request #4147 from asandroq/fix-bignum-literalsAhmad Salim Al-Sibahi9 years ago ac88f4fFix generation of bignum literalsAlex Queiroz9 years ago 539186cMerge pull request #4146 from asandroq/fix-stack-nightlyNiklas Larsson9 years ago c37edddMake Idris build with Stack nightlyAlex Queiroz9 years ago 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice9 years ago 3d514acMerge pull request #4137 from asandroq/fix-div-and-modAhmad Salim Al-Sibahi9 years ago eed742eMerge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi9 years ago fddb326Merge pull request #4111 from msmorgan/alternative-infixrAhmad Salim Al-Sibahi9 years ago 50fa1d1Remove backend tests from input file and into sourceAlex Queiroz9 years ago b85425eMerge remote-tracking branch 'upstream/master' into fix-div-and-modAlex Queiroz9 years ago 3aa9c18Merge pull request #4143 from asandroq/fix-integer-literalNiklas Larsson9 years ago 242dfc7Fix generation of integer literals in the C backendAlex Queiroz9 years ago 2366f36Merge branch 'master' into alternative-infixrAhmad Salim Al-Sibahi9 years ago dcf65d8Merge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi9 years ago 443e2d9Merge pull request #4135 from clayrat/patch-7Ahmad Salim Al-Sibahi9 years ago da3e6f7Merge pull request #4138 from melted/increase_win_boundNiklas Larsson9 years ago 6a00842Update win32 boundsNiklas Larsson9 years ago a4b0677add 'public export' for all views and use 'really_believe_me'Alex Gryzlov9 years ago be90757Make `div` and `mod` behave consistentlyAlex Queiroz9 years ago 9400779Run stylish (oops, sorry!)Edwin Brady9 years ago 93720fdMove int declarationEdwin Brady9 years ago cb7c850Make `divides` views publicAlex Gryzlov9 years ago 7936fbbRe-add import since it seems to be neededEdwin Brady9 years ago c9936a6Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady9 years ago ff9e9faAdded Data.IOArray for mutable array primitivesEdwin Brady9 years ago