git.iko.soy/Idris-dev
on master help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
b2f419bStore hash of the IBC file's interfaceEdwin Brady 193589fWhy nub a list when you can use a set.Jan de Muijnck-Hughes 165c2bdMerge pull request #4424 from jacereda/printer-depthAhmad Salim Al-Sibahi 6408457Reduce work allNamesIn has to doEdwin Brady 9fd28efFix depth handlingJorge Acereda fb717ccFix compilation with GHC 8.4Niklas Larsson cc7ef9aRemove old eliminator generation and induction tactic (#4351)Ahmad Salim Al-Sibahi 2cc9ee5Add alternatives syntax to `let` in `do` blocksMelvar Chen ef47811Remove commented-out updateDNsJason Felice 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes e04da81Use Megaparsec builtins, kill lastTokenSpanJason Felice 4f1f462Fix LaTeX pretty printing of backslash, braces and percentJoomy Korkut 4a3fe0cLinearTypes extension improvementsEdwin Brady 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady aa0b315Merge pull request #3847 from be5invis/be5invis-do-rewriteNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 96a982aAdd do-rewritebe5invis b7cf1ecFix delab of scoped implicitsEdwin Brady 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes ebf9367Make partial evaluator off by defaultEdwin Brady 0ceaa30Deal with interfaces in totality differentlyEdwin Brady bc553c7%error_reduce for more control over errorsEdwin Brady ab56c6f'case' in interface methods now worksEdwin Brady 436dc13removed dead code idris_whocalls and idris_callswho fields of the IState recordjoe9 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi fb33d8cIndentation configuration via command line args.Steven Shaw a5033e7Add linear LamEdwin Brady 2f3c9a5Add RigCount to pattern bindingsEdwin Brady 491633bSyntax for linear argumentsEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes 32c2467Account for 'let' with unbound implicitsEdwin Brady 4a5c677Add 'idris_crash'Edwin Brady 714de35Fix verbosity configuration error.Jan de Muijnck-Hughes 58c3bb7Hide more features behind %language pragmasEdwin Brady 8ea27aeRemove a needless 'nub'Edwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady 4057b48Modify pretty printer for lambdasEdwin Brady 9ca1d73Print interface parameter constraints in :docOskar Wickström f467346Detect implicit parameters to interfacesEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ)