#auto-machines

Posts about the “automation arrow” type, an implementation of the mathematical “mealy machine”.

For example, one possible implementation:

This is here to contrast things with posts about the library “auto”.