Is Purescript still around? It’s github repo shows very little activity, but this is not always a bad sign, so I’m curious.
BTW my question could sound like I am hoping Phil Freeman has given up the project leadership, which isn't what I meant to say. I should have said "I was wondering whether you are mixing up ...".