pisigma-0.2.1: A dependently typed core language
Language.PiSigma.Equality
eq :: (Equal a, Env e) => a -> a -> Eval e ()Source