diff options
Diffstat (limited to 'docs/posts/auto-currying_rust_functions')
-rw-r--r-- | docs/posts/auto-currying_rust_functions/index.html | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/docs/posts/auto-currying_rust_functions/index.html b/docs/posts/auto-currying_rust_functions/index.html index 83e5c86..c06b13f 100644 --- a/docs/posts/auto-currying_rust_functions/index.html +++ b/docs/posts/auto-currying_rust_functions/index.html | |||
@@ -25,7 +25,7 @@ | |||
25 | ">View Raw</a> | 25 | ">View Raw</a> |
26 | <div class="separator"></div> | 26 | <div class="separator"></div> |
27 | <div class="date"> | 27 | <div class="date"> |
28 | 09/05 â 2020 | 28 | 08/05 â 2020 |
29 | <div class="stats"> | 29 | <div class="stats"> |
30 | <span class="stats-number"> | 30 | <span class="stats-number"> |
31 | 356.44 | 31 | 356.44 |
@@ -774,16 +774,15 @@ class="footnote-back" role="doc-backlink">âŠī¸</a></p></li> | |||
774 | <div class="intro"> | 774 | <div class="intro"> |
775 | Hi. | 775 | Hi. |
776 | <div class="hot-links"> | 776 | <div class="hot-links"> |
777 | <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a> | 777 | <a href="/index.xml" class="feed-button">Subscribe</a> |
778 | </div> | 778 | </div> |
779 | <p>I'm Akshay, programmer and pixel-artist.</p> | 779 | <p>I'm Akshay, programmer and pixel-artist. |
780 | <p> | 780 | I write <a href="https://git.peppe.rs">open-source stuff</a>. |
781 | I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time. | ||
782 | I also design fonts: | 781 | I also design fonts: |
783 | <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, | 782 | <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, |
784 | <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. | 783 | <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. |
785 | </p> | 784 | </p> |
786 | <p>Send me a mail at [email protected] or a message at n[email protected].</p> | 785 | <p>Reach out at oppili@irc.rizon.net.</p> |
787 | </div> | 786 | </div> |
788 | 787 | ||
789 | <a href="/" class="post-end-link">Home</a> | 788 | <a href="/" class="post-end-link">Home</a> |