diff options
| author | Akshay <[email protected]> | 2023-02-14 10:39:40 +0000 |
|---|---|---|
| committer | Akshay <[email protected]> | 2023-02-14 10:39:40 +0000 |
| commit | 2a628a628ea729e35860a5f4a6ae4b0b36a556e3 (patch) | |
| tree | 19064100416fdf04515ba34f3cdb2031a8c46f3f /docs/posts/turing_complete_type_systems/index.html | |
| parent | 3a2829eaef155a67641b2e322d88c8f243c7870b (diff) | |
gah
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index a6d2909..3aee14d 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -71,7 +71,7 @@ while, after hitting the recursion limit.</p> | |||
| 71 | <div class="intro"> | 71 | <div class="intro"> |
| 72 | Hi. | 72 | Hi. |
| 73 | <div class="hot-links"> | 73 | <div class="hot-links"> |
| 74 | <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> | 74 | <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a> |
| 75 | </div> | 75 | </div> |
| 76 | <p>I'm Akshay, programmer and pixel-artist.</p> | 76 | <p>I'm Akshay, programmer and pixel-artist.</p> |
| 77 | <p> | 77 | <p> |