3 ms·And state machinesby timcobb 4y agoAnd state machineseddsh1994 4y agoState machines in the type system to check they’re good at compile time! <3 Idris