DizzeeHaskell
DizzeeHaskell avatar
Active user
3 years ago by invitation from sw
0, averaging 0.00 per story/comment
0
0

Interested in functional programming, category theory, Homotopy Type theory, program verification and other funky shit.