From 3047c0ce162cac7cfd859e0e9bcc0e9c0de6f170 Mon Sep 17 00:00:00 2001 From: NeilBrown Date: Sun, 28 Apr 2019 09:21:06 +1000 Subject: [PATCH] oceani: make "Base Types" a subsection of "Types" I don't think it deserved to stand alone. Signed-off-by: NeilBrown --- csrc/oceani.mdc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc index f3bf6a1..430c29f 100644 --- a/csrc/oceani.mdc +++ b/csrc/oceani.mdc @@ -557,7 +557,7 @@ which are often passed around by value. free(t); } -### Base Types +#### Base Types Values of the base types can be numbers, which we represent as multi-precision fractions, strings, Booleans and labels. When -- 2.43.0