PureScript v0.12.2


#1

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.


#2

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