diff options
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index 2a9361e..a7efbdb 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -74,13 +74,12 @@ while, after hitting the recursion limit.</p> | |||
| 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</a> |
| 75 | <a href="https://liberapay.com/nerdypepper/donate" class="donate-button">Donate</a> | 75 | <a href="https://liberapay.com/nerdypepper/donate" class="donate-button">Donate</a> |
| 76 | </div> | 76 | </div> |
| 77 | <p>I'm Akshay, I go by nerd or nerdypepper on the internet.</p> | 77 | <p>I'm Akshay, programmer and pixel-artist.</p> |
| 78 | <p> | 78 | <p> |
| 79 | I am a compsci undergrad, Rust programmer and an enthusiastic Vimmer. | ||
| 80 | I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time. | 79 | I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time. |
| 81 | I also design fonts: | 80 | I also design fonts: |
| 82 | <a href="https://git.peppe.rs/fonts/scientifica">scientifica</a>, | 81 | <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, |
| 83 | <a href="https://git.peppe.rs/fonts/curie">curie</a>. | 82 | <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. |
| 84 | </p> | 83 | </p> |
| 85 | <p>Send me a mail at [email protected] or a message at [email protected].</p> | 84 | <p>Send me a mail at [email protected] or a message at [email protected].</p> |
| 86 | </div> | 85 | </div> |