Cass Alexandru

https://cxandru.ee/

RPTU Kaiserslautern-Laundau Kaiserslautern FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala