Skip to content
Snippets Groups Projects
Commit ac633f2b authored by Joachim Breitner's avatar Joachim Breitner Committed by thoughtpolice
Browse files

Refer to the coercible paper in Coercible' docs

Implements parts of #8888.

(cherry picked from commit fc7aaf57)
parent a011e6d0
No related branches found
No related tags found
No related merge requests found
......@@ -133,6 +133,10 @@ data (~) a b = Eq# ((~#) a b)
--
-- @type role Set nominal@
--
-- For more details about this feature, please refer to
-- <http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf Safe Coercions>
-- by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich.
--
-- /Since: 4.7.0.0/
data Coercible a b = MkCoercible ((~#) a b)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment