upstarter/automata

Typespecs for currently defined functions.

Opened this issue · 0 comments

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.