Decenta Lyzed ☯️🇬🇱:dogroll:
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
- 0 Posts
- 1 Comment
Joined 1 年前
Cake day: 2025年7月8日
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!