17 Sep
2014
17 Sep
'14
9:25 a.m.
On Wed, Sep 17, 2014 at 7:10 AM, Jan Stolarek
Use syntax similar to functional dependencies. The injectivity declaration begins with `|` following type family declaration head. `|` is followed by a list of comma-separated injectivity conditions. Each injectivity condition has the form:
{{{ result A -> B }}}
Was `_` considered here as the result token? -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net