pepper0

@pepper0@aus.social

This is a remote user, information on this page may be incomplete. View at Source ↗

Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.