pisigma-0.2: 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