3 ms·
Agda: programming is math but other languages (even haskell) make that unnecessarily hard to see FTFY
by jackpirate 14y ago
Agda: programming is math but other languages (even haskell) make that unnecessarily hard to see
FTFY
- tel 14y agoHaha, yeah. Or Agda: when Turing completeness gets in the way of your mathematical logic.