diff options
Diffstat (limited to 'docs/posts/turing_complete_type_systems/index.html')
-rw-r--r-- | docs/posts/turing_complete_type_systems/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html index 3ef21ed..1f6fd4c 100644 --- a/docs/posts/turing_complete_type_systems/index.html +++ b/docs/posts/turing_complete_type_systems/index.html | |||
@@ -76,7 +76,7 @@ | |||
76 | <a href="/posts" class="post-end-link">Posts</a> | 76 | <a href="/posts" class="post-end-link">Posts</a> |
77 | <span>/</span> | 77 | <span>/</span> |
78 | <a class="post-end-link">Turing Complete Type Systems</a> | 78 | <a class="post-end-link">Turing Complete Type Systems</a> |
79 | <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://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md |
80 | ">View Raw</a> | 80 | ">View Raw</a> |
81 | </div> | 81 | </div> |
82 | </div> | 82 | </div> |