From b54966a98774e5106c3d81d4d60c48ff2ed9176b Mon Sep 17 00:00:00 2001
From: KonjacSource <1435771606@qq.com>
Date: Sun, 13 Oct 2024 23:49:48 +0800
Subject: [PATCH] note

---
 Notes/{Implementation Note.md => Implementation_Note.md} | 0
 README.md                                                | 2 ++
 2 files changed, 2 insertions(+)
 rename Notes/{Implementation Note.md => Implementation_Note.md} (100%)

diff --git a/Notes/Implementation Note.md b/Notes/Implementation_Note.md
similarity index 100%
rename from Notes/Implementation Note.md
rename to Notes/Implementation_Note.md
diff --git a/README.md b/README.md
index 115ee39..de311f0 100644
--- 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).