PureScript v0.12.2

A lot of nice quality-of-life stuff in here, thanks to everyone who contributed!

We’re starting to try out a 6-week release schedule, so the next release will be on the 24th of February.

7 Likes

Woo! Excited to see these structured releases – this encourages me to pitch in to an upcoming one.

1 Like