3 Commits

Author SHA1 Message Date
Laurenz
25b5bd1175 Fully untyped model 2023-03-07 15:17:13 +01:00
Laurenz
2bb0135d2a Fix inconsistency between text and idents in math 2023-02-02 22:33:12 +01:00
Laurenz
5f5c659279 Math tests 2023-02-02 14:13:56 +01:00