Hacker News new | ask | show | jobs
by qwerty456127 1667 days ago
The purpose of making anything Haskell-based probably is making it mathematically verifiable. Isn't it?