From 476154a7ae0c6688015e06c45f8e2a17d122b2d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:28:05 +0100 Subject: [PATCH] Update README.org --- README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.org b/README.org index dc9a9dd..778ed8f 100644 --- a/README.org +++ b/README.org @@ -12,7 +12,7 @@ how to combine two types same as: [[https://github.com/agda/agda-stdlib/tree/mas Product, Sum and These show how to combine types in sets, where Smash, Wedge and Can do the same for pointed ses: #+BEGIN: columnview" -| description | sets | algebra in setss | pointed sets | algebra in pointed sets | +| description | sets | algebra in sets | pointed sets | algebra in pointed sets | |---------------------+---------|------------------|---------------|-------------------------| | both | Product | A * B | Smash product | 1 + (A * B) | | on of them | Sum | A + B | Wedge sum | 1 + A + B |