../ AsPat.hsRemove the empty property 'copyright'.9 years ago Clause.hsShow unreachable case warnings like other warnings9 years ago Data.hsFix compilation with GHC 8.49 years ago Implementation.hsRemove the empty property 'copyright'.9 years ago Interface.hsRemove the empty property 'copyright'.9 years ago Provider.hsRemove the empty property 'copyright'.9 years ago Quasiquote.hsRemove old eliminator generation and induction tactic (#4351)9 years ago Record.hsRemove the empty property 'copyright'.9 years ago Rewrite.hsRemove the empty property 'copyright'.9 years ago RunElab.hsRemove the empty property 'copyright'.9 years ago Term.hsAdd tryCatch as an Elab action in Language.Reflection.Elab9 years ago Transform.hsRemove the empty property 'copyright'.9 years ago Type.hsRemove the empty property 'copyright'.9 years ago Utils.hsFix compilation with GHC 8.49 years ago Value.hsRemove the empty property 'copyright'.9 years ago