git.iko.soy/Idris-dev
on b188fe1 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
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)(λ _ λ) 16b0fe8Merge pull request #3396 from enolan/port-noneAhmad Salim Al-Sibahi 4615cffMerge pull request #3399 from enolan/hot-commentsAhmad Salim Al-Sibahi 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 9c636f4Remove a bunch of "deriving instance NFData" hot commentsEcho Nolan e0c893cMerge pull request #3381 from david-christiansen/purificationDavid Christiansen 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7c1a2c6Add %static annotation on functionsEdwin Brady f754d9cPurify Idris of "return"David Christiansen c3f0755replace code level class symbol with inferfacezjhmale 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi