3 ms·
Write a program which generates explanations of monads. By the time Haskell compiles it, it will be provably correct without the need for tests.
by pekk 14y ago
Write a program which generates explanations of monads. By the time Haskell compiles it, it will be provably correct without the need for tests.