diff options
| author | Himbeer <himbeer@disroot.org> | 2024-09-05 14:58:41 +0200 |
|---|---|---|
| committer | Himbeer <himbeer@disroot.org> | 2024-09-05 14:58:41 +0200 |
| commit | 05c620c4d637b73f6b267ed57d5750587ccfd7a3 (patch) | |
| tree | 02500e22462c82aa0226907b1e4961215d5b1edb | |
| parent | f5b38b07c632aea3eff8a82edb838b88eb1aed28 (diff) | |
Move the documentation to a separate directory
| -rw-r--r-- | doc/grammar.txt (renamed from GRAMMAR.txt) | 0 | ||||
| -rw-r--r-- | doc/type_system.txt (renamed from TYPE_SYSTEM.txt) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/GRAMMAR.txt b/doc/grammar.txt index e1d94d3..e1d94d3 100644 --- a/GRAMMAR.txt +++ b/doc/grammar.txt diff --git a/TYPE_SYSTEM.txt b/doc/type_system.txt index 53aeb78..53aeb78 100644 --- a/TYPE_SYSTEM.txt +++ b/doc/type_system.txt |