3 ms·A fantastic overview of logic, set theory, combinators, types, etc..8 points by gnosis 16y agodriverdan 16y agoComic Sans? Seriously?