4 ms·
Haskell: programming is math but other languages make that unnecessarily hard to see
by tel 14y ago
Haskell: programming is math but other languages make that unnecessarily hard to see
- jackpirate 14y agoAgda: 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.