Language.PiSigma.Normalise

Documentation

quote :: (Nf a b, Env e) => Vars -> a -> Eval e b

nf :: (Nf a b, Env e) => Vars -> a -> Eval e b