Walter Schulze

Walter Schulze

Golang, Haskell, Functional Programming, Interactive Theorem Proving, Automata and Music Programming. https://awalterschulze.github.io/