Post little thoughts, jokes, news, etc. that don't necessarily warrant having their own thread.
Name:
Anonymous2018-10-21 2:32
>>184 Yeah, it would not ship because people interested in dependent types are smart enough to realise the issues of http and to refuse to make a server for it.