CUE playground

About Code Paper

CUE prototype with universal and existential quantifiers. For more information see the paper.

Example

Mode

Working… Ctrl / ⌘ + Enter to run

CUE

Output

Press Run to see the result.

This project is not associated with CUE Labs. CUE is a trademark of CUE Labs.

CUE version: github.com/4ad/qcue v0.0.0-20260927205543-7dac16fa830c