From 6499987dd829511e5ace83e7c646fa57d49e3b13 Mon Sep 17 00:00:00 2001 From: depsterr Date: Tue, 25 Jan 2022 21:01:52 +0100 Subject: [PATCH] readme.md: added some info on current state of the project --- readme.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/readme.md b/readme.md index 79c25fb..9d5e3e1 100644 --- a/readme.md +++ b/readme.md @@ -2,6 +2,10 @@ 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.. + ## Building Depends: