Decenta Lyzed
@pepper0@aus.social
Joined: 07/08/2025
About Decenta Lyzed
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
Lists
pepper0 has no public lists
Timeline
pepper0 has no activity yet