| Link | Topic | Status | Notes | |-------|-------------------------------------|--------|--------------------| | #8 |Default to universal quantification | β π€ | Universal is default | | | | #7 | Existential quantification syntax | π£οΈ | `some`, `includes`(soliciting opinions from others) | | #11 |Explicit `null` to omit subject | π£οΈ | `null`, `did:*` | | #6 | Bytes & links: JSON vs IPLD | β π€ | Treat as IPLD | | #5 | Selector binding sugar | β π€ | e.g. `[">", ".foo", 0]` β€οΈ | | #10 | Context/args syntax | π£οΈ | `$`, `?`, `.` |
some,includes(soliciting opinions from others)nullto omit subjectnull,did:*[">", ".foo", 0]β€οΈ$,?,.