git.iko.soy/Idris-dev
on b188fe1 help sign in
b188fe1Refactor package parser somewhatJason Felice 6a10910Extract textUntilEolJason Felice fdfcdd3Explicitly import parser helpersJason Felice e057386Simplify symbol parsingJason Felice 0ac4f96identifiers & reserved without Text.Parsers.TokenJason Felice 5b3f95aRemove unused Core.TT.vinstancesJason Felice f590608Reexport parseErrorDoc from Idris.ParserJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 44a3f9cMerge pull request #4162 from reiner-dolp/masterNiklas Larsson 48fa745IdrisDoc, set charset and viewportReiner Dolp 2eec999Merge pull request #4156 from msmorgan/fix-fixitiesAhmad Salim Al-Sibahi 3b53f2dMerge pull request #4158 from jfdm/update-pdfJan de Muijnck-Hughes 4b384ddFix DOC version number and update shipped PDF.Jan de Muijnck-Hughes 8a34c86adjust fixities of common operatorsMichael Morgan b83d4baMerge pull request #4151 from msmorgan/string-funcsNiklas Larsson 60cc3c0add some new functions to Data.String.ExtraMichael Morgan 22d95ebMerge pull request #4113 from msmorgan/boolean-op-fixityAhmad Salim Al-Sibahi 852be39Merge pull request #4147 from asandroq/fix-bignum-literalsAhmad Salim Al-Sibahi ac88f4fFix generation of bignum literalsAlex Queiroz 539186cMerge pull request #4146 from asandroq/fix-stack-nightlyNiklas Larsson c37edddMake Idris build with Stack nightlyAlex Queiroz 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice 3d514acMerge pull request #4137 from asandroq/fix-div-and-modAhmad Salim Al-Sibahi eed742eMerge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi fddb326Merge pull request #4111 from msmorgan/alternative-infixrAhmad Salim Al-Sibahi 50fa1d1Remove backend tests from input file and into sourceAlex Queiroz b85425eMerge remote-tracking branch 'upstream/master' into fix-div-and-modAlex Queiroz 3aa9c18Merge pull request #4143 from asandroq/fix-integer-literalNiklas Larsson 242dfc7Fix generation of integer literals in the C backendAlex Queiroz 2366f36Merge branch 'master' into alternative-infixrAhmad Salim Al-Sibahi dcf65d8Merge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi 443e2d9Merge pull request #4135 from clayrat/patch-7Ahmad Salim Al-Sibahi da3e6f7Merge pull request #4138 from melted/increase_win_boundNiklas Larsson 6a00842Update win32 boundsNiklas Larsson a4b0677add 'public export' for all views and use 'really_believe_me'Alex Gryzlov be90757Make `div` and `mod` behave consistentlyAlex Queiroz 9400779Run stylish (oops, sorry!)Edwin Brady 93720fdMove int declarationEdwin Brady cb7c850Make `divides` views publicAlex Gryzlov 7936fbbRe-add import since it seems to be neededEdwin Brady c9936a6Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady ff9e9faAdded Data.IOArray for mutable array primitivesEdwin Brady cc7ff93Merge pull request #4133 from mgttlinger/fixed-unused-importsAhmad Salim Al-Sibahi dd5b4d7Fixed unused imports reported by ghcMerlin Göttlinger 4fa3c29Merge pull request #4132 from Melvar/deshadow-data-stringAhmad Salim Al-Sibahi 8a559a9Rename contrib:Data.String, was shadowing base:Data.StringMelvar Chen de51bb0Merge pull request #4128 from clayrat/patch-6Ahmad Salim Al-Sibahi