git.iko.soy/Idris-dev
on af2fb53 help sign in
Idris-dev/src/Idris/Elab
9 files
../ Class.hsAnnotate several top-level functions Clause.hsUse exact name lookup when building from ibc Data.hsStore kind in Pi binders Instance.hsSplit elaborator into multiple source files Provider.hsSplit elaborator into multiple source files Record.hsSplit elaborator into multiple source files Type.hsStore kind in Pi binders Utils.hsNo need to check LHS for unique usage Value.hsSplit elaborator into multiple source files