aboutsummaryrefslogtreecommitdiff
path: root/docs/posts/turing_complete_type_systems
diff options
context:
space:
mode:
authorAkshay <[email protected]>2021-03-27 05:45:56 +0000
committerAkshay <[email protected]>2021-03-27 05:45:56 +0000
commitd7fb8f907aa04c323c6541afe8ad2d727c6de034 (patch)
tree0ba62ff956c9042becbffaf0f85071dfe9147380 /docs/posts/turing_complete_type_systems
parentf82d6533b164bf445d5bdf3be3daa1b56be4c731 (diff)
fix broken raw link in footer
Diffstat (limited to 'docs/posts/turing_complete_type_systems')
-rw-r--r--docs/posts/turing_complete_type_systems/index.html2
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>