User: lock1

• Created: 137 days ago
• Karma: 104
• just a random guy which likes type system & (useless) math a little bit too much.

  day to day: Java, Rust, Haskell

  fallback: C

submissions | comments