Good to know. Anyone using it? Are there good examples I can take a look at? Your comparison makes sense after I looked at the CUE docs. The explanation for bo

Good to know. Anyone using it? Are there good examples I can take a look at? Your comparison makes sense after I looked at the CUE docs. The explanation for booleans is exactly how it's modeled as a domain, it is isomorphic to the lattice of subsets of the 2 element set with true and false. Domains and lattices are closely related, I think there might even be a duality theorem that says they're equivalent (probably Stone duality but I'm not sure).