Update DOCUMENTATION.md

This commit is contained in:
Panupong (Ice) Pasupat 2020-08-20 20:13:29 -07:00 committed by GitHub
parent 5b114fd4a7
commit b27c06906d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -146,7 +146,7 @@ The possible `Value`s, along with an example are as follows:
In general:
(table (<header-string-1> ... <header-string-n>) (<row-1-value-1> ... <value-1-value-n>) ...)
(table (<header-string-1> ... <header-string-n>) (<row-1-value-1> ... <row-1-value-n>) ...)
There are some more arcane `Value`s (see `Values.java` for a list), but they
are not that important from the point of view of specifying a logical form.