Skip to content

Monad Laws

Rudy Petersonrequested to merge
rudynicolop/stdpp:monad-laws into master

Standard monad laws.

I acknowledge that stdpp/base.v may not be the best home for the main typeclasses.

Merge request reports