From 92efb28cc5803e46b49168f26611a45f0b166aff Mon Sep 17 00:00:00 2001 From: Maciej Jur Date: Sun, 4 Feb 2024 15:34:58 +0100 Subject: [PATCH] content: dead-simple-haskell fix table --- src/content/slides/dead-simple-haskell/_DeadSimpleHaskell.lhs | 4 ++-- src/content/slides/dead-simple-haskell/index.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/content/slides/dead-simple-haskell/_DeadSimpleHaskell.lhs b/src/content/slides/dead-simple-haskell/_DeadSimpleHaskell.lhs index ae9a62c..bd640fa 100644 --- a/src/content/slides/dead-simple-haskell/_DeadSimpleHaskell.lhs +++ b/src/content/slides/dead-simple-haskell/_DeadSimpleHaskell.lhs @@ -383,8 +383,8 @@ Type | Inhibitants ---------- | ----------- () | 1 Bool | 2 -() | Bool | 1 + 2 = 3 -H' | Bool | 3 + 2 = 5 +() \| Bool | 1 + 2 = 3 +H' \| Bool | 3 + 2 = 5 ```haskell ignore data Either a b = Left a | Right b diff --git a/src/content/slides/dead-simple-haskell/index.md b/src/content/slides/dead-simple-haskell/index.md index ae9a62c..bd640fa 100644 --- a/src/content/slides/dead-simple-haskell/index.md +++ b/src/content/slides/dead-simple-haskell/index.md @@ -383,8 +383,8 @@ Type | Inhibitants ---------- | ----------- () | 1 Bool | 2 -() | Bool | 1 + 2 = 3 -H' | Bool | 3 + 2 = 5 +() \| Bool | 1 + 2 = 3 +H' \| Bool | 3 + 2 = 5 ```haskell ignore data Either a b = Left a | Right b