syntax.comment_style

# Counts start at zero.type Count = Int {    min: 0}

error: Jadpo writes comments with `//`, not `#` --> main.jadpo:1:1  |1 | # Counts start at zero.  | ^ write `//`  reason: `#` starts a comment in Python, Ruby, shell scripts and YAML; a Jadpo comment starts with `//`, or `///` to document a declaration.  next: Use `//` instead of `#` (agent)  rule: syntax.comment_style  help: https://jadpo.dev/docs/errors/syntax.comment_stylecheck failed: 1 error, 1 file