3 ms·State machines in the type system to check they’re good at compile time! <3 Idrisby eddsh1994 4y agoState machines in the type system to check they’re good at compile time! <3 Idris