Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I wasn't able to get the document to compile proper, so I edited the text of the latin Toki Pona entry only (one note - Yoneta\Yonewa should be spelled in a cartouche if at all possible as recommend in the Toki Pona book here - http://tokipona.net/tp/janpije/hieroglyphs.php ). You might want to edit the sitelen pona to be the same.
You use "adjective noun" order I think ("lili kulupu", "suli tawa", etc.) but Toki Pona is noun adjective, so I changed things around.
I used Yoneta as the latinisation rather than Yonewa because it more closely follows the examples in the official book, as well as a phonetic conversion guideline given by jan Sonja here - http://tokipona.net/tp/janpije/tpize.php ).
I changed hom to tawa (because why not).
I treat variable names as proper names, and they require qualification "A li ijo pi K" doesn't work, but "A li ijo pi kulupu K" does.
A prepositions changed, 'pi's replaced with 'lon' where it seemed nice.
I collapsed "a pi b" statements to "a b". In the official dialect of Toki Pona, there are very few theoretical grounds to differentiate the two.
It's not watertight, but I think it's better...
(I'm esp. happy with 'kulupu pi mute ijo' for 'categorified of objectified multiplicities' for 'Set' :P)