Skip to content

Upgrade to PureScript 0.15#25

Merged
thomashoneyman merged 2 commits intomasterfrom
purs-0.15
May 2, 2022
Merged

Upgrade to PureScript 0.15#25
thomashoneyman merged 2 commits intomasterfrom
purs-0.15

Commits

Commits on Apr 28, 2022

Commits on May 2, 2022