git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Elab/Implementation.hs
all commits
5fc838dFix whitespaceEdwin Brady cf5ab6bFix implementation argument checkEdwin Brady 0ceaa30Deal with interfaces in totality differentlyEdwin Brady 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady 7ac40afStylish changes since this PR was originally submittedEcho Nolan f467346Detect implicit parameters to interfacesEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin Brady 97319d9Partial evaluation fixesEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ)