pepper0@aus.social

FARVEL BIG TECH

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

pepper0@aus.social

@pepper0@aus.social

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

Omdømme 0

Profil visninger 1

Oprettet

Sidst online