lock1

lock1

Joined 4 months ago, with 43 karma

About

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

day to day: Java, Rust, Haskell