Fix typo in T-Lam typing rule

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

Closed chrisbarrett closed 9 years ago

chrisbarrett commented 9 years ago

Types and terms were mixed up in a typing rule.

Resolves #47.

sdiehl commented 9 years ago

They are indeed. Thanks!