../ Binary.hsReflection for SN, plus an SN for meta-stuff12 years ago CaseTree.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Constraints.hsCache constraint set in solver state12 years ago DeepSeq.hsReflection for SN, plus an SN for meta-stuff12 years ago Elaborate.hsPlumb datatype information through the proof state12 years ago Evaluate.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Execute.hsAdd info field to App12 years ago ProofState.hsPlumb datatype information through the proof state12 years ago ProofTerm.hsMark 'complete' terms to save time in elaboration12 years ago TT.hsFix bug with Type*/AnyType in data decls12 years ago Typecheck.hsAdd info field to App12 years ago Unify.hsAdd info field to App12 years ago