Error in T-Lam Rule in chapter 5

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

MIT License

3.34k stars 256 forks source link

Open ankitrokdeonsns opened 7 years ago

ankitrokdeonsns commented 7 years ago

I think the expression variables and type variables have been mistakenly exchanged