A library of purely algebraic relation combinators for building verifiable logical structures in code
73 upvotes
Visit Show HN →
On mobile tap Share for WeChat / RED (Xiaohongshu) / X; on desktop use Copy text and paste into the app.