On the subject of functional languages with JS as a compilation target, is anyone still using PureScript?

There are a few of us still at it :)

Though with the advent of LLMs it became very easy to spin up alternate backends for it, so it's very much alive outside of JS as well.