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