[<<][rtl][>>][..]
Tue May 29 12:29:06 EDT 2018

Allow non-monadic Seq constants

Functional dependencies should be able to constraint r -> m.

This is a deep change.  Will take a bit of time.




[Reply][About]
[<<][rtl][>>][..]