From 31bc6a2f54d86a4978be063f5e614881c625c597 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Wed, 29 May 2024 08:44:12 -0300 Subject: new blog using hugo again --- public/tags/coq/index.html | 689 +++++++++++++++++++++++++++++++++++++ public/tags/coq/index.xml | 22 ++ public/tags/coq/page/1/index.html | 10 + public/tags/index.html | 549 +++++++++++++++++++++++++++++ public/tags/index.xml | 12 + public/tags/rust/index.html | 689 +++++++++++++++++++++++++++++++++++++ public/tags/rust/index.xml | 22 ++ public/tags/rust/page/1/index.html | 10 + 8 files changed, 2003 insertions(+) create mode 100644 public/tags/coq/index.html create mode 100644 public/tags/coq/index.xml create mode 100644 public/tags/coq/page/1/index.html create mode 100644 public/tags/index.html create mode 100644 public/tags/index.xml create mode 100644 public/tags/rust/index.html create mode 100644 public/tags/rust/index.xml create mode 100644 public/tags/rust/page/1/index.html (limited to 'public/tags') diff --git a/public/tags/coq/index.html b/public/tags/coq/index.html new file mode 100644 index 0000000..3c016ec --- /dev/null +++ b/public/tags/coq/index.html @@ -0,0 +1,689 @@ + + + + + + + + + + coq · lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ ↓skip to main content +
+ + +
+ +
+ + +
+ + + + + + + + + + + + + + + +
+
+
+ + +
+
+ + + + + + + + +
+
+ + + +
+ +

coq

+
+ + + + + + + + + + + + + + + + + + + + + + +
+ + +
+ + +
+
+ +
+ + + + + +
+ + + + + + + + + + +
+ + +

+ 2024 +

+ + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
correctness is all you need
+ + + +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + ·1 min + + + + +
+ + + + + +
+ + + + + + + + + + + + + + + + coq + + + + + + + + rust + + + + + + + +
+ + + +
+ +
+ + + +
+ + + + + + + + + +
+ + + + +
+ + + +

+ © + 2024 + leonardo santiago +

+ + + + +

+ + + powered by Hugo & Blowfish +

+ + +
+ + + + + + +
+ +
+ + + diff --git a/public/tags/coq/index.xml b/public/tags/coq/index.xml new file mode 100644 index 0000000..087a056 --- /dev/null +++ b/public/tags/coq/index.xml @@ -0,0 +1,22 @@ + + + + coq on lowest case + http://localhost:1313/tags/coq/ + Recent content in coq on lowest case + Hugo -- gohugo.io + en + © 2024 leonardo santiago + Thu, 09 May 2024 23:19:01 -0300 + + correctness is all you need + http://localhost:1313/posts/correctness-is-all-you-need/ + Thu, 09 May 2024 23:19:01 -0300 + + http://localhost:1313/posts/correctness-is-all-you-need/ + you’ll usually see people complaining that + + + + + diff --git a/public/tags/coq/page/1/index.html b/public/tags/coq/page/1/index.html new file mode 100644 index 0000000..2b1345a --- /dev/null +++ b/public/tags/coq/page/1/index.html @@ -0,0 +1,10 @@ + + + + http://localhost:1313/tags/coq/ + + + + + + diff --git a/public/tags/index.html b/public/tags/index.html new file mode 100644 index 0000000..5e679e4 --- /dev/null +++ b/public/tags/index.html @@ -0,0 +1,549 @@ + + + + + + + + + + tags · lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ ↓skip to main content +
+ + +
+ +
+ + +
+ + + + + + + + + + + + + + + +
+
+
+ + +
+
+ + + + + + + + +
+
+ + + + + +
+ +

tags

+
+ + + + + + + + + + + + + + + + + + + + + + +
+ + +
+ + +
+
+ + + + + + + + + +
+ +
+ + + + + + +
+ + + + +
+ + + +

+ © + 2024 + leonardo santiago +

+ + + + +

+ + + powered by Hugo & Blowfish +

+ + +
+ + + + + + +
+ +
+ + + diff --git a/public/tags/index.xml b/public/tags/index.xml new file mode 100644 index 0000000..244d2b0 --- /dev/null +++ b/public/tags/index.xml @@ -0,0 +1,12 @@ + + + + tags on lowest case + http://localhost:1313/tags/ + Recent content in tags on lowest case + Hugo -- gohugo.io + en + © 2024 leonardo santiago + + + diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html new file mode 100644 index 0000000..6d78e0b --- /dev/null +++ b/public/tags/rust/index.html @@ -0,0 +1,689 @@ + + + + + + + + + + rust · lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ ↓skip to main content +
+ + +
+ +
+ + +
+ + + + + + + + + + + + + + + +
+
+
+ + +
+
+ + + + + + + + +
+
+ + + +
+ +

rust

+
+ + + + + + + + + + + + + + + + + + + + + + +
+ + +
+ + +
+
+ +
+ + + + + +
+ + + + + + + + + + +
+ + +

+ 2024 +

+ + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
correctness is all you need
+ + + +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + ·1 min + + + + +
+ + + + + +
+ + + + + + + + + + + + + + + + coq + + + + + + + + rust + + + + + + + +
+ + + +
+ +
+ + + +
+ + + + + + + + + +
+ + + + +
+ + + +

+ © + 2024 + leonardo santiago +

+ + + + +

+ + + powered by Hugo & Blowfish +

+ + +
+ + + + + + +
+ +
+ + + diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml new file mode 100644 index 0000000..76e9bcf --- /dev/null +++ b/public/tags/rust/index.xml @@ -0,0 +1,22 @@ + + + + rust on lowest case + http://localhost:1313/tags/rust/ + Recent content in rust on lowest case + Hugo -- gohugo.io + en + © 2024 leonardo santiago + Thu, 09 May 2024 23:19:01 -0300 + + correctness is all you need + http://localhost:1313/posts/correctness-is-all-you-need/ + Thu, 09 May 2024 23:19:01 -0300 + + http://localhost:1313/posts/correctness-is-all-you-need/ + you’ll usually see people complaining that + + + + + diff --git a/public/tags/rust/page/1/index.html b/public/tags/rust/page/1/index.html new file mode 100644 index 0000000..eeaf092 --- /dev/null +++ b/public/tags/rust/page/1/index.html @@ -0,0 +1,10 @@ + + + + http://localhost:1313/tags/rust/ + + + + + + -- cgit v1.2.3