@pepper0@aus.social
Joined: 08/07/2025
33
Followers
82
Following
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml . Exploring fediverse.
{username} has no public lists
{username} has no activity yet