git.iko.soy/Idris-dev
on 10ef56b help sign in
10ef56bMore docstringsDavid Raymond Christiansen f73d721Add some docstringsDavid 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 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 dc196bfPretty printing fixEdwin Brady 22678c7Merge pull request #957 from JanBessai/OrderEqCongEdwin Brady be57f4aFix unbound implicit rulesEdwin Brady a7217f1Tweak scoping rules in instance generationEdwin Brady 419b35cAdded span in parser stateAhmad Salim Al-Sibahi 66ac8daMerge pull request #953 from JanBessai/OrderEqCongEdwin Brady 7aeab41Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady