Interested in

- Haskell
- Nix
- Lean4

Undergrad CS student, he/him

  • 0 Posts
  • 13 Comments
Joined 2 years ago
cake
Cake day: February 17th, 2023

help-circle