diff options
| author | Akshay <[email protected]> | 2021-02-23 09:04:53 +0000 |
|---|---|---|
| committer | Akshay <[email protected]> | 2021-02-23 09:04:53 +0000 |
| commit | cdde1d9a54ce7f86503956e445dbbaf8540e9b96 (patch) | |
| tree | 28879e777a0c28cbee9201003523ceb83b5ff1e7 /docs/posts/turing_complete_type_systems | |
| parent | c517871fc2c01128eec660718a5432c9f68c23bd (diff) | |
add breadcrumbs to all pages
Diffstat (limited to 'docs/posts/turing_complete_type_systems')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index fd35c80..6acf12a 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -16,7 +16,11 @@ | |||
| 16 | <body> | 16 | <body> |
| 17 | <div class="posts"> | 17 | <div class="posts"> |
| 18 | <div class="post"> | 18 | <div class="post"> |
| 19 | <a href="/posts" class="post-end-link">⟵ Back</a> | 19 | <a href="/" class="post-end-link">Home</a> |
| 20 | <span>/</span> | ||
| 21 | <a href="/posts" class="post-end-link">Posts</a> | ||
| 22 | <span>/</span> | ||
| 23 | <a class="post-end-link">Turing Complete Type Systems</a> | ||
| 20 | <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md | 24 | <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md |
| 21 | ">View Raw</a> | 25 | ">View Raw</a> |
| 22 | <div class="separator"></div> | 26 | <div class="separator"></div> |
| @@ -67,7 +71,9 @@ | |||
| 67 | <p>Send me a mail at [email protected] or a message at [email protected].</p> | 71 | <p>Send me a mail at [email protected] or a message at [email protected].</p> |
| 68 | </div> | 72 | </div> |
| 69 | 73 | ||
| 70 | <a href="/posts" class="post-end-link">⟵ Back</a> | 74 | <a href="/" class="post-end-link">Home</a> |
| 75 | <span>/</span> | ||
| 76 | <a href="/posts" class="post-end-link">Posts</a> | ||
| 71 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md | 77 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md |
| 72 | ">View Raw</a> | 78 | ">View Raw</a> |
| 73 | </div> | 79 | </div> |