pisigma-0.2.1: A dependently typed core language
Language.PiSigma.Check
checkProg :: Env e => Clos Prog -> Eval e ScopeSource
infer :: Env e => Clos Term -> Eval e (Clos Type)Source