dedbox/racket-algebraic

check class properties for base instances

Opened this issue · 0 comments

dedbox commented

The properties documented for e.g. Monad and Applicative haven't been tested yet. There may be a typo or two.