Giters

sdiehl / write-you-a-haskell

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

HM chapter on website needs sync

ngzhian opened this issue · comments

commented

I think the chapter on Hindley-Milner type inference needs to be pushed, the website has this code:

newtype TypeEnv = TypeEnv (Map.Map Var Scheme)

Whereas the chapter in git has this:

newtype TypeEnv = TypeEnv (Map.Map Name Scheme)

Thanks!