diff options
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
-rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index cc51210..0d3ea6c 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
@@ -59,7 +59,10 @@ | |||
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 open-source stuff to pass time. I also design fonts: scientifica, curie. | 62 | I write <a href=https://git.peppe.rs>open-source stuff</a> to pass time. |
63 | I also design fonts: | ||
64 | <a href=https://git.peppe.rs/fonts/scientifica>scientifica</a>, | ||
65 | <a href=https://git.peppe.rs/fonts/curie>curie</a>. | ||
63 | </p> | 66 | </p> |
64 | <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> |
65 | </div> | 68 | </div> |