7 ms·
The purpose of making anything Haskell-based probably is making it mathematically verifiable. Isn't it?
by qwerty456127 5y ago
The purpose of making anything Haskell-based probably is making it mathematically verifiable. Isn't it?
loading thread…