Various fixes in `type_systems.md`

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

Various fixes in `type_systems.md` #18

Closed NicolasT closed 9 years ago

NicolasT commented 9 years ago

Various fixes in the "Type Systems" chapter.

I'm not a native speaker myself, so please check them, I'll adjust where necessary.

I think one of the typing rules was somewhat wrong as well, referring to non-defined terms. I adapted it accordingly, please double-check :wink:

sdiehl commented 9 years ago

Looks good, your English is better than mine.

Only change I made was:

The small step evaluation semantics for this little language are defined by the ...

The small step evaluation semantics for this little language are uniquely defined by the ...

To indicate that the typing is syntax-directed.