r/code•9 mo. agotarjanoTect - Minimal, type-safe language for designing/validating software architectureMy Own CodePosted Jan 14, 2026, 12:01 AM UTC70ShareSave