diff options
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index a7efbdb..a6d2909 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -71,8 +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</a> | 74 | <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> |
| 75 | <a href="https://liberapay.com/nerdypepper/donate" class="donate-button">Donate</a> | ||
| 76 | </div> | 75 | </div> |
| 77 | <p>I'm Akshay, programmer and pixel-artist.</p> | 76 | <p>I'm Akshay, programmer and pixel-artist.</p> |
| 78 | <p> | 77 | <p> |