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, 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> |