Meeting Notes: 01.02.22

TODOS:

• AState without trait
• instead of AssignN0, AssignATrue, etc. -> use case class AAssign
• test & understand functionality of AExpr
• add missing cases of ABinOp
• add AUnOp -> aHead, aTail, aLength
• simplify append and concat
• widen(l: AList) -> to flatten an AList value (use this for append and concat method)
• implement reverse
• testcase: append two values of AList with positive elements
  • -> are all elements after appending still positive
  • -> implementation with aWhile
• try to find more dynamic versions of functions (-> not so many code duplicates)