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