Skip to content

updated to PureScript 0.12#8

Merged
thomashoneyman merged 5 commits intopurescript-contrib:masterfrom
CarstenKoenig:GenRepRowToList
Aug 7, 2018
Merged

updated to PureScript 0.12#8
thomashoneyman merged 5 commits intopurescript-contrib:masterfrom
CarstenKoenig:GenRepRowToList

Commits

Commits on Jun 26, 2018

Commits on Jun 27, 2018