Skip to content

Heyting instances for Dropped, Lifted and Levitated#112

Open
coot wants to merge 1 commit intohaskellari:masterfrom coot:coot/heyting-instances

Commits

Commits on Mar 13, 2021