Update formal-definition.md

Hihaheho · Mar 25, 2023 · 979dd96 · 979dd96
1 parent 146daf6
commit 979dd96
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docs/language/formal-definition.md b/docs/language/formal-definition.md
@@ -2,10 +2,9 @@
 
 !Note: not an easy-understanding guidance
 
-```ebnf
 ## Syntax
 
-```
+```bnf
 tn :== (number type)
 | Nat | Int | Rat | Real
 | uN | iN (n-bit integer)