Skip to content

Add/finish Ord instance for Records#180

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

Commits

Commits on Jul 16, 2018