git.iko.soy/Idris-dev
on 0cb9b4e help sign in
Idris-dev/src/Idris/Elab
14 files
../ AsPat.hsAdd extra HL information to PRef Class.hsBetter error for bad interface declaration Clause.hsUnify pattern and implicit name binding rules Data.hsMore flexible holes Instance.hsAllow setting function flags on instances Provider.hsCategorised the Logs. Quasiquote.hsMoved Quasiquote under Elab namespace. Record.hsMade Parser submodules actual submodules. RunElab.hsInsert namespace information to declaration-level %runElab Term.hsMore flexible holes Transform.hsCategorised the Logs. Type.hsMore flexible holes Utils.hsMore flexible holes Value.hsMore flexible holes