👋
say hi
PLT + compilers; haskell champion; agda newbie.
- Glasgow, UK
-
08:20
(UTC +01:00) - https://cyberglot.space
- @cyberglot
Earned achievements
YOLO
YOLO
Loading
Pair Extraordinaire
x2
Pair Extraordinaire
x2
Loading
Quickdraw
Quickdraw
Loading
Public Sponsor
Public Sponsor
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
x3
Starstruck
x3
Loading
Pull Shark
x3
Pull Shark
x3
Loading