]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b204b9) | patch
oceani: indent grammar more consistently.
authorNeilBrown <neil@brown.name>
Mon, 29 Nov 2021 08:39:06 +0000 (19:39 +1100)
committerNeilBrown <neil@brown.name>
Mon, 29 Nov 2021 08:39:06 +0000 (19:39 +1100)
commit57c69adf13069b9daf3ed59f4401f16de3312975
treecf4621d512fd610d44917dfe1e4df0dda088fb67tree | snapshot
parent7b204b91b3e742371df976a01a4029f48aa3aa27commit | diff
oceani: indent grammar more consistently.

- all products are not indented, whether they start with a non-term or a
  '|'.
- Code is indented once - plus internal indents.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project