diff options
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 3e572e3..cc51210 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
@@ -61,7 +61,7 @@ | |||
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 open-source stuff to pass time. I also design fonts: scientifica, curie. | 62 | I write open-source stuff to pass time. I also design fonts: scientifica, curie. |
63 | </p> | 63 | </p> |
64 | <p>Send me a mail at [email protected] or a message at [email protected].</p> | 64 | <p>Send me a mail at [email protected] or a message at nerdypepper@irc.rizon.net.</p> |
65 | </div> | 65 | </div> |
66 | 66 | ||
67 | <a href="/" class="post-end-link">⟵ Back</a> | 67 | <a href="/" class="post-end-link">⟵ Back</a> |