builtin-indentifier and builtin both used in syntax.md (#103)

When reading the docs, I was confused what \<builtin-identifier> was supposed to represent. I assume it means the same thing as \<builtin>, so I have set them to the the same name. <builtin> was chosen as the standard over \<builtin-indentifier> because it didn't mess with the whitespace --------- Co-authored-by: Robert J. Simmons <[email protected]>
robsimmons · Jan 21, 2025 · 6850696 · 6850696
1 parent df65d1e
commit 6850696
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docs/src/content/docs/docs/language/syntax.md b/docs/src/content/docs/docs/language/syntax.md
@@ -39,11 +39,10 @@ treated like whitespace.
     <arguments>       ::= <atomic-term> | <atomic-term> <arguments>
     <atomic-term>     ::= <wildcard> | <variable>
                        |  <string-literal> | <int-literal>
-                       |  <identifier> | <builtin-identifier>
+                       |  <identifier>
                        |  "(" <term> ")"
     <term>            ::= <atomic-term>
                        |  <identifier> <arguments>
-                       |  <builtin-identifier> <arguments>
     <builtin>         ::= "BOOLEAN_TRUE" | "BOOLEAN_FALSE"
                        |  "NAT_ZERO" | "NAT_SUCC"
                        |  "INT_PLUS" | "INT_MINUS" | "INT_TIMES"