diff options
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index 6232900..fd35c80 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -16,7 +16,7 @@ | |||
| 16 | <body> | 16 | <body> |
| 17 | <div class="posts"> | 17 | <div class="posts"> |
| 18 | <div class="post"> | 18 | <div class="post"> |
| 19 | <a href="/" class="post-end-link">⟵ Back</a> | 19 | <a href="/posts" class="post-end-link">⟵ Back</a> |
| 20 | <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md | 20 | <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md |
| 21 | ">View Raw</a> | 21 | ">View Raw</a> |
| 22 | <div class="separator"></div> | 22 | <div class="separator"></div> |
| @@ -50,24 +50,24 @@ | |||
| 50 | 50 | ||
| 51 | </div> | 51 | </div> |
| 52 | 52 | ||
| 53 | <div class=intro> | 53 | <div class="intro"> |
| 54 | Hi. | 54 | Hi. |
| 55 | <div class=hot-links> | 55 | <div class="hot-links"> |
| 56 | <a href=https://peppe.rs/index.xml class=feed-button>Subscribe</a> | 56 | <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a> |
| 57 | <a href=https://liberapay.com/nerdypepper/donate class=donate-button>Donate</a> | 57 | <a href="https://liberapay.com/nerdypepper/donate" class="donate-button">Donate</a> |
| 58 | </div> | 58 | </div> |
| 59 | <p>I'm Akshay, I go by nerd or nerdypepper on the internet.</p> | 59 | <p>I'm Akshay, I go by nerd or nerdypepper on the internet.</p> |
| 60 | <p> | 60 | <p> |
| 61 | I am a compsci undergrad, Rust programmer and an enthusiastic Vimmer. | 61 | I am a compsci undergrad, Rust programmer and an enthusiastic Vimmer. |
| 62 | I write <a href=https://git.peppe.rs>open-source stuff</a> to pass time. | 62 | I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time. |
| 63 | I also design fonts: | 63 | I also design fonts: |
| 64 | <a href=https://git.peppe.rs/fonts/scientifica>scientifica</a>, | 64 | <a href="https://git.peppe.rs/fonts/scientifica">scientifica</a>, |
| 65 | <a href=https://git.peppe.rs/fonts/curie>curie</a>. | 65 | <a href="https://git.peppe.rs/fonts/curie">curie</a>. |
| 66 | </p> | 66 | </p> |
| 67 | <p>Send me a mail at [email protected] or a message at [email protected].</p> | 67 | <p>Send me a mail at [email protected] or a message at [email protected].</p> |
| 68 | </div> | 68 | </div> |
| 69 | 69 | ||
| 70 | <a href="/" class="post-end-link">⟵ Back</a> | 70 | <a href="/posts" class="post-end-link">⟵ Back</a> |
| 71 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md | 71 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md |
| 72 | ">View Raw</a> | 72 | ">View Raw</a> |
| 73 | </div> | 73 | </div> |