git.iko.soy/Idris-dev
on b4dbebd help sign in
Idris-dev/src/Idris/Elab
12 files
../ AsPat.hsOnly rewrite _ under @! Class.hsFix bug with Type*/AnyType in data decls Clause.hsTweak for types of case blocks Data.hsFix bug with Type*/AnyType in data decls Instance.hsPlumb datatype information through the proof state Provider.hsMove ElabTerm into Elab.Term Record.hsMove ElabTerm into Elab.Term Term.hsRecursive elaborators + binding tactics Transform.hsTweak for types of case blocks Type.hsPlumb datatype information through the proof state Utils.hsDon't look for the parameters of bound variables. Value.hsPlumb datatype information through the proof state