Skip to content

Add a known tactic for writing arbitrary instances#695

Merged
isovector merged 9 commits intohaskell:masterfrom
isovector:known-arbitrary
Dec 24, 2020

Commits

Commits on Dec 23, 2020