git.iko.soy/Idris-dev
on b38bc03 help sign in
b38bc03Add basic elaboration context tracking to unificationDavid Raymond Christiansen daafe34Merge pull request #980 from david-christiansen/jedesah-vect_lengthEdwin Brady ca564fdRemove java tests from travisEdwin Brady e9ef380Support text formatting in docstringsDavid Raymond Christiansen e7c5cb2Add a note to Vect.length about when to use itDavid Raymond Christiansen 1b81d69Merge pull request #985 from david-christiansen/keyword-highlightEdwin Brady 99ab467Merge pull request #984 from david-christiansen/fin-add-mulEdwin Brady 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 15aebc9Add highlighting for keywords in interpreter outputDavid Raymond Christiansen 021e090Addition and multiplication of FinDavid Raymond Christiansen 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