![@harryprayiv@mastodon.social avatar](https://whatco.me/index.php/media/cache/resolve/avatar_thumb/97/ef/97ef944626a128f22b620b16602638747228108743460473486e22c2557c6b82.jpg)
![@harryprayiv@mastodon.social](https://whatco.me/index.php/media/cache/resolve/user_cover/94/73/94732746f6e27c75e8a656f64d8a85c585b35ce13850fea2ec02b962b647327f.jpg)
![@harryprayiv@mastodon.social avatar](https://whatco.me/index.php/media/cache/resolve/avatar_thumb/97/ef/97ef944626a128f22b620b16602638747228108743460473486e22c2557c6b82.jpg)
Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
This profile is from a federated server and may be incomplete. Browse more on the original instance.