cube/zenzicubi.co
cube/zenzicubi.co
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update dates on type-algebra.*

Browse Source
This commit is contained in:
queue-miscreant 2025-08-07 22:16:34 -05:00
parent 12fe38bfd5
commit 71b4f64594
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
posts/type-algebra/1/index.qmd
View File

@ -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

5
posts/type-algebra/2/index.qmd
View File

@ -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