-
Proving Type Class Laws for Haskell
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. ...
read it

Andreas Arvidsson
is this you? claim profile
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. ...
read it