From fcd2ec66e8b8cd2d84531644405e31f4b84f4b19 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 21 Jul 2022 04:19:47 +0200
Subject: [PATCH] added let in to TODO

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

diff --git a/README.md b/README.md
index 52c6397..a9b5327 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,8 @@ A dependently typed system
 
 # TODO
 
+* Let ... in ...
+
 * Fun types
   * Id