From 02d2cd82ac76555208e5312d72fcecd715f13a81 Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <34196198+Reijix@users.noreply.github.com>
Date: Mon, 17 Apr 2023 09:08:58 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 38e8353..2353503 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 # lambda
-This is a small lambda calculus interpreter.
+This is a small lambda calculus interpreter, it contains no built-in functions, datatypes etc. so you have to define __everything__ yourself!
+The only small QoL feature is that natural numbers (1, 2, ...) get parsed to their respective church encoding (`\f.\a.f a`, `\f.\a.f (f a))`, ...) and the interpreter tries to parse results as some standard church encodings.
 
 ## Usage
 For best results you should run it using Nix, but using plain cabal should work in most cases as well!