singpolyma commented on Dependent Haskell at Reddit, saying in reply to @ 2014-249.870Z Leave a Response Name Email Website Comment Authenticate this comment using OpenID. Get replies via e-mail