User: lock1

• Created: 91 days ago
• Karma: 25
• just a random guy that likes type system & math a little bit too much.

  day to day: Java, Rust, Haskell

submissions | comments