../ AsPat.hsOnly rewrite _ under @!12 years ago Class.hsMove ElabTerm into Elab.Term12 years ago Clause.hsMove ElabTerm into Elab.Term12 years ago Data.hsMove ElabTerm into Elab.Term12 years ago Instance.hsMove ElabTerm into Elab.Term12 years ago Provider.hsMove ElabTerm into Elab.Term12 years ago Record.hsMove ElabTerm into Elab.Term12 years ago Term.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago Transform.hsMove ElabTerm into Elab.Term12 years ago Type.hsMove ElabTerm into Elab.Term12 years ago Utils.hsAdd info field to App12 years ago Value.hsMove ElabTerm into Elab.Term12 years ago