Triel – a declarative spec language with ZK constraintsBy DChis · 2026-07-28 · 2 points · 0 commentshttps://triel.devBy DChis · 2 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews