Decenta Lyzed ☯️🇬🇱:dogroll:
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
- 2 Posts
- 7 Comments
Joined 4 months ago
Cake day: July 8th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.