Skip to content

Improve apartness checking#4149

Merged
JordanMartinez merged 2 commits into
purescript:masterfrom
rhendric:rhendric/restore-4064
Feb 27, 2022
Merged

Improve apartness checking#4149
JordanMartinez merged 2 commits into
purescript:masterfrom
rhendric:rhendric/restore-4064

Commits

Commits on Jul 12, 2021

Commits on Feb 27, 2022