Hacker News new | ask | show | jobs
by verdverm 1554 days ago
The lattice in CUE, where types, constraints, and values live in the same space.

https://cuelang.org/docs/concepts/logic/