just a random guy which likes type system & (useless) math a little bit too much.

day to day: Java, Rust, Haskell

fallback: C