|
|
# Iris proof style
|
|
|
|
|
|
**Warning:** this document is still in development and should not be taken
|
|
|
seriously. If you run across a question of style (for example, something comes
|
|
|
up in an MR) and it's not on this list, please do reach out to Tej on Mattermost
|
|
|
(@tchajed) so he can add it.
|
|
|
**Warning:** this document is still in development and rather incomplete.
|
|
|
If you run across a question of style (for example, something comes
|
|
|
up in an MR) and it's not on this list, please do reach out to us on Mattermost
|
|
|
so we can add it.
|
|
|
|
|
|
## Basic syntax
|
|
|
|
... | ... | |