Daniel Firth (Inspector GADT)
@locallycompact
1,186
Followers
663
Following
182
Media
4,320
Statuses
Haskell, Agda, Cardano, Mathematics @InputOutputHK @horizonhaskell
Northumberland, England
Joined August 2012
Don't wanna be here?
Send us removal request.