4 Commits

Author	SHA1	Message	Date
j-hartling	c49d28933b	More formalizing (WIP).	2025-11-06 16:19:27 +01:00
j-hartling	d9fb7d3e5d	Formalizing stuff (WIP).	2025-11-06 09:27:17 +01:00
j-hartling	48f3c8cd41	Bullet-pointing a first draft (WIP).	2025-11-03 14:32:26 +01:00
j-hartling	16f318fd40	Initialized	2025-10-13 16:23:37 +02:00