move a-syntax-for-the-terms-of-linear-logic to inner

cicada-lang · Nov 20, 2024 · b4494cd · b4494cd
1 parent e15d03d
commit b4494cd
Showing 1 changed file with 0 additions and 111 deletions.
diff --git a/docs/articles/a-syntax-for-the-terms-of-linear-logic.md b/docs/articles/a-syntax-for-the-terms-of-linear-logic.md