3 ms·
You don't even have to squint to see that BNF description is a sum of products data type. With that, functions on those types write themselves and you're a typ
by earleybird 5y ago
You don't even have to squint to see that BNF description is a sum of products data type. With that, functions on those types write themselves and you're a type-check away from consistency.