lock1

...joined 3 months ago, and has 25 karma

submissions / comments / favourites

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

day to day: Java, Rust, Haskell