Skip to content

Improve apartness checking#4064

Merged
rhendric merged 3 commits into
purescript:masterfrom
rhendric:rhendric/apartness-fixes
Jun 28, 2021
Merged

Improve apartness checking#4064
rhendric merged 3 commits into
purescript:masterfrom
rhendric:rhendric/apartness-fixes

Commits

Commits on Jun 19, 2021

Commits on Jun 20, 2021

Commits on Jun 26, 2021