on master help sign in
15 files
../ AsPat.hsRemove the empty property 'copyright'. Clause.hsMerge pull request #4539 from zgrannan/improve-with-check Data.hsWhy nub a list when you can use a set. Implementation.hsRemove the empty property 'copyright'. Interface.hsWhy nub a list when you can use a set. Provider.hsRemove the empty property 'copyright'. Quasiquote.hsRemove old eliminator generation and induction tactic (#4351) Record.hsWhy nub a list when you can use a set. Rewrite.hsRemove the empty property 'copyright'. RunElab.hsRemove the empty property 'copyright'. Term.hsFixes for GHC 8.6 Transform.hsRemove the empty property 'copyright'. Type.hsWhy nub a list when you can use a set. Utils.hsFix compilation with GHC 8.4 Value.hsWhy nub a list when you can use a set.