VioletDocumentation
Two ways in:
Quick start
Install, a first program, and a one-page cheatsheet. For readers already comfortable with dependent types.
Reference
One page per language feature, with the syntax form and small examples.
Two ways in:
Install, a first program, and a one-page cheatsheet. For readers already comfortable with dependent types.
One page per language feature, with the syntax form and small examples.