From Type Theory to Haskell in 10 minutes (2014) #1 Post by sqln00b » Sat, Sep 15, 2018, 6:11 PM UTC From Type Theory to Haskell in 10 minutes (2014)stackbuilders.com