[Haskell-cafe] looking for examples of non-full Functional Dependencies

Martin Sulzmann martin.sulzmann at gmail.com
Fri Apr 18 14:05:52 EDT 2008

Lennart Augustsson wrote:
> I've never thought of one being shorthand for the other, really.
> Since they are logically equivalent (in my interpretation) I don't 
> really care which one we regard as more primitive.
True. See my response to Iavor's recent email.


More information about the Haskell-Cafe mailing list