= Project Meeting 7.11.2023 08:15 - 09:00 (MS Teams)
== Participants
- Prof. Dr. <NAME>
- <NAME>
- <NAME>

== Agenda
- Brief discussion of frontend frameworks
  - try out miso and decide between threepenny and miso
- Discussion of first draft of a simple unification algorithm
  - looks good for a first draft, needs to be extended and refactored
- Discussion of scoping in concept for function composition
  - let-bindings can be dropped
  - the only necessary binding with scoping are lambda-blocks
