Decenta Lyzed
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
Joined: 07/08/2025
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
pepper0 has no public lists
pepper0 has no activity yet