Implementation Notes

Checklists and explanations considering the implementation

• Definitions: AList
• Definitions: AState
• Examples: Basic Functions
• Examples: Loop
• AList as Set
• Checklist: Operators
• Checklist: Experimental Evaluation