Decenta Lyzed ☯️🇬🇱:dogroll:
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
- 0 Posts
- 1 Comment
Joined 11 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.
@Auster
I do recommend checking out #esperanto hashtag, it seems very active!