diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index 126b8130a..ee572256e 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -4,5 +4,5 @@ Generated by ChatGPT on 2025-02-14 ## Files - [[Assembly Canvas.canvas]] -- [[Untitled.md]] +- [[3-99 Research/Assembly/Untitled]] diff --git a/3-99 Research/Haskell/Haskell - README.md b/3-99 Research/Haskell/Haskell - README.md index 88a63b23a..1f6dc4b41 100644 --- a/3-99 Research/Haskell/Haskell - README.md +++ b/3-99 Research/Haskell/Haskell - README.md @@ -3,5 +3,5 @@ Generated by ChatGPT on 2025-02-12 # Table of Contents for Haskell ## Files -- [[Learning Plan.md]] +- [[3-99 Research/Haskell/Learning Plan]] diff --git a/3-99 Research/LEAN/Learning Plan.md b/3-99 Research/LEAN/Learning Plan.md new file mode 100644 index 000000000..e69de29bb diff --git a/3-99 Research/Rust/Rust - README.md b/3-99 Research/Rust/Rust - README.md index edf52df5a..2b01face4 100644 --- a/3-99 Research/Rust/Rust - README.md +++ b/3-99 Research/Rust/Rust - README.md @@ -3,5 +3,5 @@ Generated by ChatGPT on 2025-02-12 # Table of Contents for Rust ## Files -- [[Learning Plan.md]] +- [[3-99 Research/Rust/Learning Plan]] diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 0bee156cf..b04b74cd0 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -4,7 +4,7 @@ Generated by ChatGPT on 2025-02-14 ## Files - [[TLA Canvas.canvas]] -- [[Untitled.md]] +- [[3-99 Research/TLA/Untitled]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]] diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index 4022dd6c0..a71778e00 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -3,5 +3,5 @@ Generated by ChatGPT on 2025-02-12 # Table of Contents for 1 Ideas ## Files -- [[Untitled.md]] +- [[5 Thesis/1 Ideas/Untitled]]