documentation icon indicating copy to clipboard operation
documentation copied to clipboard

Published 20 hours ago • verified publisher icon purescript

Document the typing rules

Open paf31 opened this issue 8 years ago • 2 comments

Copied from https://github.com/purescript/roadmap/issues/43

paf31 avatar Jan 17 '17 17:01 paf31

How is "typing rules" different than "language grammar" in https://github.com/purescript/documentation/issues/29?

chexxor avatar Jan 28 '17 22:01 chexxor

Language grammar is about syntax, typing rules are how the type system works.

garyb avatar Jan 28 '17 22:01 garyb