And we kinda leverage the docs on cuelang.org since the syntax and semantics are mostly the same!