PhD student at Radboud University. Currently working on categorical automata theory.
sfpl. A simple functional programming language.
