Aaaand we’re off! The Second Annual PureScript Survey! Apologies for the delay, I was at my daughter’s guitar lesson and for some reason the city internet wasn’t working there. Just got back and sent it out!
In the next few hours, I’ll post on lobste.rs and I’ll also reach out to the Idris community. Could someone with more reddit karma than me post on reddit?
In general, we should keep our eyes peeled for issues that come in during the next few hours, for example if there’s a firewall in a particular country. Other than that it should be smooth sailing!
In addition, tomorrow morning Finnish time, I’ll ping everyone that responded to the PureScript in Industry thread and send them the link personally.
So that’s it. Onwards and upwards!