4 ms·
I think it is time to repost Against Curry-Howard Mysticism (https://liamoc.net/forest/loc-000S/index.xml https://liamoc.net/forest/loc-000S/index.xml)
by pdhborges 1mo ago
I think it is time to repost Against Curry-Howard Mysticism (https://liamoc.net/forest/loc-000S/index.xml https://liamoc.net/forest/loc-000S/index.xml)