Name:
Anonymous
2018-09-02 17:57
Post little thoughts, jokes, news, etc. that don't necessarily warrant having their own thread.
Name:
Anonymous
2018-10-21 12:15
>>185I don't think people interested in hypothetical stuff like dependent types are interested in real-world programming