automata
automata copied to clipboard
Typespecs for currently defined functions.
In order to provide type checking we should go through and add typespecs for the currently defined functions so we get nice compiler errors and extra documentation from them.