Error in T-Lam Rule in chapter 5
ankitrokdeonsns opened this issue · comments
I think the expression variables and type variables have been mistakenly exchanged
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)