From 3a1272c94f43e8b71811f910517b6ac2e44b94d8 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 19:15:49 -0300 Subject: delete public/ it must be automatically generated by workflow, no need to include it --- public/index.html | 254 ------------------------------------------------------ 1 file changed, 254 deletions(-) delete mode 100644 public/index.html (limited to 'public/index.html') diff --git a/public/index.html b/public/index.html deleted file mode 100644 index 7893007..0000000 --- a/public/index.html +++ /dev/null @@ -1,254 +0,0 @@ - - - - - - - - -home | lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
-
-

a lower case only blog, purely for aesthetics.

-

here 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.

- - -
- - - - - - -- cgit v1.2.3