@@ -15,6 +15,7 @@ Please be aware that at this point this document is just a collection of quite r
- Base stuff: Literals, Sets, Tuples
- Types are (context free? decision problem in polynomial time? should only be a compile-time problem) languages over the Universe where the Universe is the Kleene closure of the set of literals
- ~~μ-Calculus as theoretical foundation?~~ Well, that was a bad idea. Probably.
