@fixpt.de
132 Followers · 193 Following
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Nothing here yet.
