Meeting Notes: 18.01.22

TODOS:

• Presentation slides: instead of an larger example -> Syntax & Semantic (how are values represented)
• refactor unary and binary operators -> trait AUnOp and trait ABinOp
  • Refactor:IsNil, ===
• further work on AAssert
• implementation of AAssume
• Refactor concrete example wit Set[AList]
• generic Version of AState -> AList, AInt (, AOption)