The TypeRoof project. 2026-10-23T12:01:43Z https://typeroof.org/ Lasse Fister hello@strong-type.systems