@pepper0@aus.social
@pepper0@aus.social avatar

pepper0

@pepper0@aus.social

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

Profil ze zdalnego serwera może być niekompletny. Zobacz więcej na oryginalnej instancji.

  • Wszystkie
  • Subskrybowane
  • Moderowane
  • Ulubione
  • •
  • rowery
  • turystyka
  • esport
  • fediversum
  • Technologia
  • Psychologia
  • muzyka
  • test1
  • NomadOffgrid
  • ERP
  • healthcare
  • krakow
  • Gaming
  • FromSilesiaToPolesia
  • Cyfryzacja
  • Blogi
  • shophiajons
  • informasi
  • retro
  • Travel
  • Spoleczenstwo
  • gurgaonproperty
  • slask
  • nauka
  • sport
  • niusy
  • Radiant
  • warnersteve
  • Wszystkie magazyny
    •