Skip to content

Add IntoPure instances for ∗, ∧, and ∨.

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

These are instances which we found helpful for iGPS.

Merge request reports