aboutsummaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/readme.md b/readme.md
index 1a4837a..9fac6be 100644
--- a/readme.md
+++ b/readme.md
@@ -1,6 +1,6 @@
-# CALM
+# calm
-> **C**all-by-Need **A**bstract **L**ambda **M**achine
+> **c**all-by-need **a**bstract **l**ambda **m**achine
- Strong reduction (reduction inside abstractions) of call-by-need
lambda calculus