From a2b74708b77dd0cbc2bd835e3fab9066bd9ef5dd Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 21 Jul 2022 04:20:20 +0200
Subject: [PATCH] =?UTF-8?q?added=20=CE=A3=20types=20to=20readme=20also?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index a9b5327..e306d21 100644
--- a/README.md
+++ b/README.md
@@ -16,6 +16,8 @@ A dependently typed system
 
 * Natural numbers
 
+* Σ Types
+
 # TODO
 
 * Let ... in ...