git.iko.soy/Idris-dev
on f0a67ff help sign in
f0a67ffMerge pull request #3204 from jfdm/more-pkg-infoJan de Muijnck-Hughes 61dfb94Extend iPKG files to include metadata.Jan de Muijnck-Hughes 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 22c1e98Relax naming rules for packages.Jan de Muijnck-Hughes 6bfcfbeMerge pull request #3179 from jfdm/update-sphinxJan de Muijnck-Hughes 008e0c6Updated Sphinx Doc for Packages.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady c326d84Merge pull request #3178 from jfdm/update-versions-in-rest-of-projectJan de Muijnck-Hughes b1e0c02Merge pull request #3174 from jfdm/source-clean-upJan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes bb400deUpdate version numbers.Jan de Muijnck-Hughes f8e66f9Fix pruning when there are coercionsv0.11.2Edwin Brady df5ff52Minor version incrementEdwin Brady 30dca30Fix typo in idris.cabalEdwin Brady d3040cfMerge pull request #3171 from neduard/build_on_openbsdNiklas Larsson e34849fPrettier printing in case splittingEdwin Brady f2ab362Add views for recursion over Int/IntegerEdwin Brady 986e616Add Data.Primitives.ViewsEdwin Brady 8805b35Add Data.Integer.ViewsEdwin Brady fc9490eAdd 'restrict' in FinEdwin Brady 5ef9bf4Merge pull request #3173 from melted/portable_jsonNiklas Larsson d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson 536372fRename Lazy' => DelayedEdwin Brady 5925424#3171: Add support for NetBSD also.Eduard Nicodei b20cff5#3171: Use *_HOST_OS instead of flags defined in idris.cabal.Eduard Nicodei