note

KonjacSource · Oct 13, 2024 · b54966a · b54966a
1 parent 8937391
commit b54966a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Notes/Implementation Note.md → Notes/Implementation_Note.md b/Notes/Implementation Note.md → Notes/Implementation_Note.md
diff --git a/README.md b/README.md
@@ -4,6 +4,8 @@
 
 ShiTT is a shitty language. TT here is the name of a friend of mine, instead of the abbr of type theory.
 
+There is a [implementation note](./Notes/Implementation_Note.md) that I am still writting.
+
 ## Usage
 
 Build from source, or download binary from [Release](https://github.com/KonjacSource/ShiTT/releases).