git.iko.soy/Idris-dev
on 79000ba help sign in
79000baMerge pull request #981 from david-christiansen/docsEdwin Brady ca30292Merge pull request #979 from david-christiansen/feature/aproposEdwin Brady 24bfcd8Merge pull request #977 from jedesah/vect_lengthEdwin Brady 10ef56bMore docstringsDavid Raymond Christiansen f73d721Add some docstringsDavid Raymond Christiansen 8c7bde9Improve display of :aproposDavid Raymond Christiansen fc65c25Make :apropos case-insensitiveDavid Raymond Christiansen bb3a7b7Support :apropos in IDESlaveDavid Raymond Christiansen 7862be6Merge pull request #978 from david-christiansen/feature/aproposEdwin Brady 834bda8Merge pull request #976 from ahmadsalim/bug/inductionnamefixEdwin Brady 6f0ef2fAdd :apropos to CHANGELOGDavid Raymond Christiansen 1921424Add :apropos command to REPLDavid Raymond Christiansen db22d5dAdd length to VectJean-Remi Desjardins d88d1caFixes idris-lang/Idris-dev#971. Renames induction holes such that they are unique in context.Ahmad Salim Al-Sibahi 3a315acMerge pull request #969 from JanBessai/MoreTailRecursionEdwin Brady ec9ac38Merge pull request #966 from david-christiansen/error-reflectionEdwin Brady f707c76Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 4ba5460Make 'neweffects' the official effects packageEdwin Brady 9b28ec3Tests for tail recursive implementations of foldrJan Bessai 49b4066Tail recursive foldr, reverse and fromList for VectJan Bessai 5e134bdTail recrusive foldr for ListJan Bessai 3e401fbImprove error pretty-printingDavid Raymond Christiansen 191ad06Add with_val and pureM syntaxEdwin Brady a23e89fReverse the reversible errors while reflectingDavid Raymond Christiansen 992acb4Fix regression with data declarations in whereEdwin Brady fdb46c7Merge pull request #965 from ahmadsalim/feature/parserspanningEdwin Brady 6e3a4c8Merge pull request #964 from jfdm/idrislangEdwin Brady 88f88ebUnification tweak; better disambiguationEdwin Brady d815eccFixed error reflection bug after change of sourcelocation definitionAhmad Salim Al-Sibahi 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi 5e0a984Remove the ability to reflect At and ElaboratingDavid Raymond Christiansen db306caMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/parserspanningAhmad Salim Al-Sibahi 69c1c7dUpstream updates to idrislang.styJan de Muijnck-Hughes 91120abAdd type signature and Haddock to processTactic'David Raymond Christiansen 29a1e77Merge remote-tracking branch 'upstream/master'David Raymond Christiansen a7e6550Merge pull request #962 from david-christiansen/markdown-docsEdwin Brady af6eaebMerge pull request #961 from raichoo/javascriptEdwin Brady 3ebb931Merge pull request #960 from david-christiansen/skip-coverage-on-default-patternEdwin Brady 2d79c85Merge pull request #958 from david-christiansen/reflection-reflectionEdwin Brady f596a36Merge pull request #946 from trofi/masterEdwin Brady d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen ce2f85fjavascript: quick & dirty compile time error on invalid FFIraichoo 312967ajavascript: add time functionraichoo 8f93b00Syntax for failures in pattern matching let/<-Edwin Brady f26ab12Skip unnecessary coverage checkingDavid Raymond Christiansen 756b44fSkip unnecessary coverage checkingDavid Raymond Christiansen b2b5545Rename 'new' to 'newInit' in neweffectsEdwin Brady 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen d0edb70Add support for reflecting ByReflectionDavid Raymond Christiansen 202937dHandler for Exceptions in List contextEdwin Brady