Update formal-definition.md

Hihaheho · Mar 28, 2023 · 8cd2a68 · 8cd2a68
1 parent 5c20832
commit 8cd2a68
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/language/formal-definition.md b/docs/language/formal-definition.md
@@ -1,7 +1,5 @@
 # Desk Programming Language Formal Definition
 
-!Note: not an easy-understanding guidance
-
 ## Syntax
 $$
 \begin{aligned}