The PureScript wikipedia page is nominated for deletion again, hooray. It took literally less than a day this time. https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/PureScript_(programming_language) …
-
Show this thread
Replying to @SeanTAllen @bodil and
Ah, I just dug out the discussion, and it was this one: https://pragprog.com/magazines/2013-04/dependent-types … So a bit more than a blog post, to be fair.
4:48 PM - 20 Dec 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.