Meeting Notes: 29.11.21

Possible next steps:

• implement Lattice
  • bot: ACons(AInt.⊥, ANil)
  • top: AMany(⊤)
  • <=: left Set is a subset of the right Set
  • lub: union
  • glb: intersect
• return AList as a Set
  • parameters of form: Set[AList] (use function map)
  • create separate package or branch

---

TODOs

• Tests: == instead of .equals
• implement ABool
  • no need for Many and AMaybe
• implement isNil()
• Loop - Examples (Examples: Loop)