o1lo01ol1o (@o1lo01ol1o) · Digg
O1
o1lo01ol1o
639
Following
1
Top Followers
339
Total Followers
BIO
Haskell, Agda, Idris and Nix
@
o1lo01ol1o
Top followers
TA
#1140
Taelin
@VictorTaelin
Kind / Bend / HVM / INets / λCalculus
