git.iko.soy/Idris-dev
on master help sign in
history ofdf4cd71..master
compare
4c83174Totality checker mutual fixEdwin Brady 8442cefDeprecate '%assert_total'Edwin Brady 72a6169Display of lifted typesEdwin Brady f2c5e3eAdded documentation for the `Foldable` interface.Jan de Muijnck-Hughes 9e13367Fix invalid implementation messageEdwin Brady 0196f9dA new File Effect.Jan de Muijnck-Hughes 55230b7Check for unbound expression before checking for a constraint list. (#3217)Niklas Larsson 28ece38Merge pull request #3216 from jfdm/network-cleanupJan de Muijnck-Hughes 635d448Fix remainder in Data.Primitives.ViewsEdwin Brady 9f55048Look under if...then...else in totality checkerEdwin Brady b1b6a03Add shiftL and shiftREdwin Brady a0d095dName edits in StreamEdwin Brady 746caf4Code Tidying of `Network.Socket`Jan de Muijnck-Hughes e7a6ec1Get correct name under a Delay when case splittingEdwin Brady d6a185aReduction limit when simplifyingEdwin Brady b03f823Fix evaluation of InfEdwin Brady a854972Small reduction in constraint generationEdwin Brady dc7da6bMerge pull request #3207 from jfdm/add-hlint-configJan de Muijnck-Hughes b8f4abdMerge pull request #3214 from enolan/setup-lintJan de Muijnck-Hughes 76bb5f7Remove commented out codeEcho Nolan afe0a56Lint in Setup.hsEcho Nolan f0a67ffMerge pull request #3204 from jfdm/more-pkg-infoJan de Muijnck-Hughes 61dfb94Extend iPKG files to include metadata.Jan de Muijnck-Hughes 0ea1b72Addition of a HLint configuration.Jan de Muijnck-Hughes d252261Update docs to clarify reduction for total functionsEric Weinstein fc3e88cMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady fdfa04cStore file with constraints + exportEdwin Brady da1d168Merge pull request #3202 from ahmadsalim/feature/betterrewritingerrorAhmad Salim Al-Sibahi f2c3b8dBind parameters as implicits in record functionsEdwin Brady ab2be8dFix shadowing in let bindingsEdwin Brady be093dcAdded more context to the no rewriting error, to include terms being rewritten withAhmad Salim Al-Sibahi 4ed9c1bAdded %thaw directiveEdwin Brady b1a42b3Merge pull request #3201 from jfdm/testing-adjustmentsEdwin Brady c2446faMerge pull request #3196 from Melvar/instate-parentnEdwin Brady f43e36eTesting Adjustments for Quicker Regression Tests.Jan de Muijnck-Hughes 93574f0Updating the README.Jan de Muijnck-Hughes c70672dFix ordering of dependent patterns/implicitsEdwin Brady 8b1502aGenerate cases for coverage from 'impossible'Edwin Brady c6f1061Remove vestiges of pre-SpecialName namesMelvar Chen 22792d2Use ParentN for its intended purposeMelvar Chen 83ef000Check delayed holes are still holesEdwin Brady ef0ce29Set a limit on partial evaluation depthEdwin Brady 4d00ed4Some universe constraint fixesEdwin Brady 76d57f2Alpha conversion in substTermEdwin Brady bf108b6Rename Channels to SessionsEdwin Brady 2c83d47Add System.Concurrency.ChannelsEdwin Brady 527ad7cMerge pull request #3186 from jfdm/haddock-those-modulesJan de Muijnck-Hughes 4dc2a6aChange name of Err to Error (#3187)Tim McGilchrist 0896073Added documentation for modules.Jan de Muijnck-Hughes bc5d9d4Merge pull request #3180 from jfdm/better-pkg-namesJan de Muijnck-Hughes