git.iko.soy/Idris-dev
on master help sign in
history of35ec145..master
compare
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 0917cf8#3170: Use gmake if compiling on OpenBSD.Eduard Nicodei a3b40c2Fix generation of operator definitionsEdwin Brady 5a937ccMore flexibility in constraint argumentsEdwin Brady ec3b4a2Merge pull request #3156 from leonschoorl/fix/master/contributing-linksJan de Muijnck-Hughes aa29d90Update links in CONTRIBUTING.mdLeon Schoorl 57719e8Add another interface testEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady a574e74Merge pull request #3154 from gpyh/exports-socketAhmad Salim Al-Sibahi 81030beMerge pull request #3151 from ahmadsalim/colin-adams-coveringAhmad Salim Al-Sibahi 152985bAdded some needed exports in Network.SocketYacine Hmito a41ca33Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 37aa54aSearch open instances firstEdwin Brady 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady 7f8a4cbFixed addition of partiality by default in order to avoid not interfering with --warn-partialAhmad Salim Al-Sibahi 73d4721Remove hole in interfaces002Edwin Brady 8f064caDon't lose type information in interfacesEdwin Brady c5f2052Fixed the way default totality modifiers are added, and checked for conflicting totality modifiers.Ahmad Salim Al-Sibahi 2b25114Merge branch 'covering' of https://github.com/colin-adams/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 57136ccChange elaboration of interfacesEdwin Brady 6074f1cAdded linux version of test/runtest to .gitignoreColin Adams d4d4ba6Added test case directive002Colin Adams 41e3c52Added covering as a possible value for %defaultColin Adams 9540f1aRTS tweaksEdwin Brady 57c0a61Parser fix in interface constraintsEdwin Brady b98b997Merge pull request #3139 from LeifW/lower_bounds_fsnotifyAhmad Salim Al-Sibahi 441659fAdd a lower bound constraint to fsnotify version.Leif Warner