3 Commits

Author	SHA1	Message	Date
Laurenz	25b5bd1175	Fully untyped model	2023-03-07 15:17:13 +01:00
Laurenz	6ab7760822	Split up `model` module	2023-03-01 16:33:28 +01:00
Laurenz	10675cd6d5	Merge text and math symbols	2023-02-02 19:50:06 +01:00