diff options
| author | Akshay <[email protected]> | 2021-02-25 15:26:32 +0000 |
|---|---|---|
| committer | Akshay <[email protected]> | 2021-02-25 15:26:32 +0000 |
| commit | 6ae6d2e458747cf5a30f204c727d45121ff3e8e4 (patch) | |
| tree | 633565617042795ab97ea4df641a886fbd54c386 /docs/posts/turing_complete_type_systems | |
| parent | cdde1d9a54ce7f86503956e445dbbaf8540e9b96 (diff) | |
fix footer breadcrumbs
Diffstat (limited to 'docs/posts/turing_complete_type_systems')
| -rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index 6acf12a..3ef21ed 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
| @@ -74,6 +74,8 @@ | |||
| 74 | <a href="/" class="post-end-link">Home</a> | 74 | <a href="/" class="post-end-link">Home</a> |
| 75 | <span>/</span> | 75 | <span>/</span> |
| 76 | <a href="/posts" class="post-end-link">Posts</a> | 76 | <a href="/posts" class="post-end-link">Posts</a> |
| 77 | <span>/</span> | ||
| 78 | <a class="post-end-link">Turing Complete Type Systems</a> | ||
| 77 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md | 79 | <a class="stats post-end-link" href="https://raw.githubusercontent.com/nerdypepper/site/master/posts/turing_complete_type_systems.md |
| 78 | ">View Raw</a> | 80 | ">View Raw</a> |
| 79 | </div> | 81 | </div> |