aboutsummaryrefslogtreecommitdiff
path: root/docs/posts/turing_complete_type_systems
diff options
context:
space:
mode:
authorAkshay <[email protected]>2020-10-17 08:04:30 +0100
committerAkshay <[email protected]>2020-10-17 08:04:30 +0100
commit3414053d7cd17b43dd929e4e5fc468d98145e0d5 (patch)
tree7b6ec8cfe18e217343cdd54986d5c179fc9e8098 /docs/posts/turing_complete_type_systems
parent897df34e5e55448ae89fbf1a77533e792e7a5c4e (diff)
update intro, new post: Self-hosting Git!
Diffstat (limited to 'docs/posts/turing_complete_type_systems')
-rw-r--r--docs/posts/turing_complete_type_systems/index.html5
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>