Meeting Notes: 21.12.21

Topics:

• make longterm goal clear
• How to abstract program construct like while and if
  • case class AState
  • trait AStmt
  • case class Sequence(AStmt, AStmt)

---

TODO:

• implement concrete example
• implement case class AState
• implement trait AStmt
• implement case class IfxsIsNil
• presentation slides: Introductory talk