diff options
| -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 |