MangoIV
Interested in
- Haskell
- Nix
- Lean4
Undergrad CS student, he/him
- 0 Posts
- 1 Comment
Joined 2 years ago
Cake day: February 17th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
@jaror perhaps it would help to not have it be collocated with ICFP which seems to be quite inaccessible.