Open ngzhian opened 7 years ago
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!
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!