From 71b4f64594f088c856213910cd87e0704c031684 Mon Sep 17 00:00:00 2001 From: queue-miscreant Date: Thu, 7 Aug 2025 22:16:34 -0500 Subject: [PATCH] update dates on type-algebra.* --- posts/type-algebra/1/index.qmd | 5 ++--- posts/type-algebra/2/index.qmd | 5 ++--- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/posts/type-algebra/1/index.qmd b/posts/type-algebra/1/index.qmd index a5bd40e..5bee948 100644 --- a/posts/type-algebra/1/index.qmd +++ b/posts/type-algebra/1/index.qmd @@ -1,12 +1,11 @@ --- title: "Type Algebra and You, Part 1: Basics" description: | - ... + Counting and arithmetic on finite types. format: html: html-math-method: katex -# TODO -date: "2023-11-01" +date: "2022-07-06" date-modified: "2025-08-06" categories: - haskell diff --git a/posts/type-algebra/2/index.qmd b/posts/type-algebra/2/index.qmd index 4df23c7..c0c0f0e 100644 --- a/posts/type-algebra/2/index.qmd +++ b/posts/type-algebra/2/index.qmd @@ -1,12 +1,11 @@ --- title: "Type Algebra and You, Part 2: A Fixer-upper" description: | - ... + Broadening arithmetic to exponentials and adding in fixed points. format: html: html-math-method: katex -# TODO -date: "2023-11-01" +date: "2022-07-24" date-modified: "2025-08-06" categories: - haskell