Skip to content

Add/finish Ord instance for Records#180

Merged
garyb merged 1 commit into
purescript:masterfrom
LiamGoodacre:feature/ord-record
Jul 17, 2018
Merged

Add/finish Ord instance for Records#180
garyb merged 1 commit into
purescript:masterfrom
LiamGoodacre:feature/ord-record

Commits

Commits on Jul 16, 2018