../ Binary.hsChange Instance to implementation (#3404)10 years ago CaseTree.hsRemove a bunch of "deriving instance NFData" hot comments10 years ago Constraints.hsSmall reduction in constraint generation10 years ago DeepSeq.hsUse GHC generics for NFData instances10 years ago Elaborate.hsChange Instance to implementation (#3404)10 years ago Evaluate.hsRemove a bunch of "deriving instance NFData" hot comments10 years ago Execute.hsPurify Idris of "return"10 years ago ProofState.hsChange Instance to implementation (#3404)10 years ago ProofTerm.hsAdded documentation for modules.10 years ago TT.hsChange Instance to implementation (#3404)10 years ago Typecheck.hsSmall reduction in constraint generation10 years ago Unify.hsChange Instance to implementation (#3404)10 years ago WHNF.hsAdded documentation for modules.10 years ago