io7m
io7m-jparasol
0.11.3
8.1. EBNF Grammar
8. Appendices
8.3. Operational semantics
Previous
Up
Next
8.2
Type rules
1
The full type rules for the language are as follows:
8.2.1. Type rules
Previous
Up
Next
8.1. EBNF Grammar
8. Appendices
8.3. Operational semantics