Skip to content

WIP: Selective - #3709

Closed
rossabaker wants to merge 47 commits into
typelevel:mainfrom
rossabaker:selective
Closed

WIP: Selective#3709
rossabaker wants to merge 47 commits into
typelevel:mainfrom
rossabaker:selective

Fix name of selective laws

bd0d4d9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs