"it will tell use we're missing a label"
->
"it will tell us we're missing a label"
Temporal operators:
[]<> should be <>[]
infinite-loops.md:
Apparently it should be "terminate in a finite number of steps" rather than "terminate a finite number of steps", because how would you terminate a step ?
procedures-and-macros.md:
"it will tell use we're missing a label" -> "it will tell us we're missing a label"
Temporal operators:
[]<>should be<>[]infinite-loops.md:
Apparently it should be "terminate in a finite number of steps" rather than "terminate a finite number of steps", because how would you terminate a step ?
Appendix/Data Types: link to 'Specifying systems'