has anybody ever used this? It looks really cool...and you can write programs using Chinese, Thai, Korean, and Japanese even, as well as English.
It appears to be more of an extended library localized to several languages, plus ability to write non-English keywords.
I expected not it, but something like this:
declare public exhaustive enumeration
with attribute sequence
outer built-in documentation attribute of name-value syntax
name doc
value raw literal string """Player's identifier. It is not copiable to avoid accidental usage of a wrong"""
outer built-in documentation attribute of name-value syntax
name doc
value raw literal string """identifier, in contrast to [`SideWanted`]."""
outer built-in derivation attribute of list syntax
name derive
containing path sequence
simple path Deserialize
simple path Serialize
end sequence
end sequence
named Side
without generics
without clauses
to have variant sequence
variant
with attribute sequence
outer built-in documentation attribute of name-value syntax
name doc
value raw literal string """Player A."""
end sequence
named A
without special variant kind
variant
with attribute sequence
outer built-in documentation attribute of name-value syntax
name doc
value raw literal string """Player B. Should not occur in local games."""
end sequence
named B
without special variant kind
exhausted enumeration variants end sequence
(This format I'm exploring is intended for speech-to-text, to not rely on automatic punctuation insertion.)
(post deleted by author)