creating:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
creating:start [2025/05/21 19:44] – ToC: changed some titles ahelwercreating:start [2025/06/19 21:40] (current) – ToC: added chapter on closures ahelwer
Line 29: Line 29:
   - [[creating:operators|Functions, Operators, and Parameters]]   - [[creating:operators|Functions, Operators, and Parameters]]
   - [[creating:actions|Variables, States, and Actions]]   - [[creating:actions|Variables, States, and Actions]]
 +  - [[creating:closures|Closures]]
   - [[creating:safety|Model-Checking Safety Properties]]   - [[creating:safety|Model-Checking Safety Properties]]
  
  • creating/start.1747856656.txt.gz
  • Last modified: 2025/05/21 19:44
  • by ahelwer