git.iko.soy/Idris-dev
on da0a382 help sign in
history ofsrc/Idris/Elab/Implementation.hs
all commits
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)(λ _ λ)