Keean Schupke wrote:
> The things to notice are using types as instance labels, that constraints
> form horn clause compile time meta-programs (in a non-backtracking prolog
> style) and that multi-parameter classes with functional depandencies simulate
> some dependant types.
>
I think I understood everything in that sentance up to the word "as" ;-)
Greg
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
