../ AsPat.hsAllow @-patterns under PAlternative11 years ago Class.hsBetter error for bad interface declaration11 years ago Clause.hsAdd the ability to define datatypes in Elab11 years ago Data.hsAdd the ability to define datatypes in Elab11 years ago Instance.hsAdd the ability to define datatypes in Elab11 years ago Provider.hsCategorised the Logs.11 years ago Quasiquote.hsMoved Quasiquote under Elab namespace.11 years ago Record.hsMade Parser submodules actual submodules.11 years ago RunElab.hsAdd the ability to define datatypes in Elab11 years ago Term.hsPerform positivity checking for Elab-defined datatypes11 years ago Transform.hsAdd the ability to define datatypes in Elab11 years ago Type.hsAdd the ability to define datatypes in Elab11 years ago Utils.hsAdd the ability to define datatypes in Elab11 years ago Value.hsAdd the ability to define datatypes in Elab11 years ago