summaryrefslogtreecommitdiffhomepage
path: root/public/index.json
diff options
context:
space:
mode:
Diffstat (limited to 'public/index.json')
-rw-r--r--public/index.json2
1 files changed, 0 insertions, 2 deletions
diff --git a/public/index.json b/public/index.json
deleted file mode 100644
index 45d5c54..0000000
--- a/public/index.json
+++ /dev/null
@@ -1,2 +0,0 @@
-
-[{"content":"a lower case only blog, purely for aesthetics.\nhere I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical almost non-applicable) nerd topic you can think of.\n","date":"1 May 2024","externalUrl":null,"permalink":"/","section":"lowest case","summary":"a lower case only blog, purely for aesthetics.","title":"lowest case","type":"page"},{"content":"","date":"1 January 0001","externalUrl":null,"permalink":"/authors/","section":"authors","summary":"","title":"authors","type":"authors"},{"content":"","date":"1 January 0001","externalUrl":null,"permalink":"/categories/","section":"categories","summary":"","title":"categories","type":"categories"},{"content":"","date":"1 January 0001","externalUrl":null,"permalink":"/series/","section":"series","summary":"","title":"series","type":"series"},{"content":"","date":"1 January 0001","externalUrl":null,"permalink":"/tags/","section":"tags","summary":"","title":"tags","type":"tags"}] \ No newline at end of file