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

== Agenda
- Discussion of Advisor's thoughts on the current design concept for visual function composition
- Discussion of Unification & Lambda Calculus
  - Look at ML Type Inference
  - Look at #link("https://www.youtube.com/watch?v=x3evzO8O9e8&ab_channel=OST%E2%80%93OstschweizerFachhochschule")[talk by <NAME> from Zurihac 2019] about type inference
  - VisualFP should use ML or Lisp style language as storage format
  - Look at the books "Types and Programming Languages" and "Advanced Topics in Types and Programming Languages" by <NAME>
- Discussion of expectations for PoC
  - Simple meta-language
  - Simple unification-language
  - UI to define functions, types and holes
  - UI and business logic should be separated to make a possible switch to a different UI framework easier
  - The PoC doesn't have to be "ready for use". It's more about trying out libraries, etc.
  - Maybe take a look at #link("https://github.com/reflex-frp")[reflex-frp]
