From b44ffb282a07d4246bd2a48786f915472be7a3e3 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Tue, 3 May 2022 22:16:46 +0200
Subject: [PATCH] update readme a bit

---
 readme.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/readme.md b/readme.md
index 9d5e3e1..121e459 100644
--- a/readme.md
+++ b/readme.md
@@ -2,9 +2,7 @@
 
 A simple, terminating, pure, hindley milner lambda calculus with inductively defined types.
 
-Very much a work in progress
-
-The code is very messy and needs to be cleaned up..
+For an example of the syntax see `test.hm`
 
 ## Building
 
@@ -15,3 +13,7 @@ Depends:
 
 Instructions:
   * Run `cabal build`
+
+## TODO
+
+Currently there is no kind system and as such there are no indexed datatypes. Considering my interest currenlty lies in dependently typed systems this is not likely to change any time soon.