3 Commits

Include renames

Author	SHA1	Message	Date
tiboFDG	e95980d88c	Fix : House of leaves compiler bug	2026-09-22 13:24:09 +02:00
tiboFDG	91b35baebd	rework : HOL	2026-07-22 20:57:34 +02:00
tiboFDG	396ecddf99	wip : Cleaning not uses & integration liminal spaces	2026-05-20 15:50:41 +01:00