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

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