7 Commits

Author	SHA1	Message	Date
Janis Hutz	3af9f1d50b	[TI] Compact: Add grammar intro	2025-12-10 15:09:39 +01:00
Janis Hutz	6012261f77	[TI] Compact: Almost complete	2025-12-09 10:58:20 +01:00
Janis Hutz	c656bfa2e7	[TI] Compact: Almost finish reductions	2025-12-06 10:31:33 +01:00
Janis Hutz	7e4fa44539	[TI] Compact: Start	2025-12-02 17:15:04 +01:00
Janis Hutz	572cbad1c2	[TI] Compact: Add some notes	2025-11-07 12:18:37 +01:00
Janis Hutz	22b131efd7	[TI] Compact: Fix a few errors	2025-11-04 15:51:38 +01:00
Janis Hutz	5db81cb563	[TI] Start compact summary	2025-10-31 15:41:50 +01:00