Decenta Lyzed
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
- 2 Posts
- 1 Comment
Joined 3 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.
@indieweb @pepper0
that’s my poor attempt at crossposting
https://selfhosted.forum/post/7788