Implementation and property-based verification of functional programming abstractions' laws
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool