Skip to content

GitLab

Add IntoPure instances for ∗, ∧, and ∨.

Merged Janno requested to merge janno/into-pure-instances into master

These are instances which we found helpful for iGPS.