Skip to content

GitLab

Merge branch 'janno/into-pure-instances' into 'master' 

Add IntoPure instances for ∗, ∧, and ∨.

See merge request !49
1 job for master in 3 minutes and 58 seconds (queued for 1 second)
a928919c
No related merge requests found.