Skip to content

Add Eq1 Ord1 to NonEmptyList LazyNonEmptyList#188

Merged
hdgarrood merged 4 commits intopurescript:masterfrom
milesfrain:non-empty-eq1-ord1
Jan 14, 2021

Commits

Commits on Jan 11, 2021

Commits on Jan 14, 2021