Skip to content

Skip SourceSpan in Binder Eq, Ord for faster exhaustivity check#3265

Merged
kritzcreek merged 3 commits into
purescript:masterfrom
bitemyapp:bitemyapp/dont-compare-source-span
Mar 6, 2018
Merged

Skip SourceSpan in Binder Eq, Ord for faster exhaustivity check#3265
kritzcreek merged 3 commits into
purescript:masterfrom
bitemyapp:bitemyapp/dont-compare-source-span

contributors.md

cd49188
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs