Skip to main content
Tide is still evolving, but here’s a rough sketch of the current surface syntax.

​
Top level

  • relation declarations
  • let bindings
  • queries

​
Examples

relation name where
  name(x) = x

let a = 1
query a + 2
This page will become a real EBNF-style spec as the parser stabilizes.