From 6ae6d2e458747cf5a30f204c727d45121ff3e8e4 Mon Sep 17 00:00:00 2001 From: Akshay Date: Thu, 25 Feb 2021 20:56:32 +0530 Subject: fix footer breadcrumbs --- docs/posts/turing_complete_type_systems/index.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs/posts/turing_complete_type_systems') 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 @@ Home / Posts + / + Turing Complete Type Systems View Raw -- cgit v1.2.3