pisigma-0.2.1: A dependently typed core language
Language.PiSigma.Normalise
quote :: (Nf a b, Env e) => Vars -> a -> Eval e bSource
nf :: (Nf a b, Env e) => Vars -> a -> Eval e bSource