git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Parser/Expr.hs
all commits
aa0b315Merge pull request #3847 from be5invis/be5invis-do-rewriteNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 96a982aAdd do-rewritebe5invis 3dc90d3Fix for implicits in recordsEdwin Brady 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady 2f3c9a5Add RigCount to pattern bindingsEdwin Brady 491633bSyntax for linear argumentsEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady cacab43Formatting in Idris.Parser.ExprEcho Nolan b5d05d6Stylize Idris.Parser.ExprEcho Nolan e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) f754d9cPurify Idris of "return"David Christiansen d52e4f3Add source location data to PUniverseBartosz Przygoda f3a4971Record update by function applicationEdwin Brady 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 55230b7Check for unbound expression before checking for a constraint list. (#3217)Niklas Larsson c70672dFix ordering of dependent patterns/implicitsEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 5a937ccMore flexibility in constraint argumentsEdwin Brady 57c0a61Parser fix in interface constraintsEdwin Brady b92f7acNew implementation of rewriteEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady 92a4d84Implicit bindings warningsEdwin Brady a7f75c5Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingEdwin Brady 3ba38f8Correct comment about "with" disambiguation.Echo Nolan e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes