Skip to content

Update for PureScript 0.14 and remove Purty#21

Merged
thomashoneyman merged 4 commits intomainfrom
update-0.14
Aug 6, 2021
Merged

Update for PureScript 0.14 and remove Purty#21
thomashoneyman merged 4 commits intomainfrom
update-0.14

Commits