From f84a9cee386108de6c13a30dfd14e70e622d9787 Mon Sep 17 00:00:00 2001 From: drwadu <56233728+drwadu@users.noreply.github.com> Date: Mon, 29 Dec 2025 12:15:48 +0100 Subject: [PATCH 1/2] Fix typo in description of the programming language --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1cfba2a..c849c40 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Lamb -Tiny Pure Functional Programming Language in C. Based on [Untype Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus) with Normal Order reduction. +Tiny Pure Functional Programming Language in C. Based on [Untyped Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus) with Normal Order reduction. ## Quick Start From 11fdd6e9a072149ba77dce509b9721064df89252 Mon Sep 17 00:00:00 2001 From: drwadu <56233728+drwadu@users.noreply.github.com> Date: Mon, 29 Dec 2025 12:18:42 +0100 Subject: [PATCH 2/2] Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c849c40..6368d23 100644 --- a/README.md +++ b/README.md @@ -34,7 +34,7 @@ and you get Bash-style history and command line navigation. ## Syntax -The syntax is based on the [Notation of Untype Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus_definition#Notation) and provides few improvements over it. +The syntax is based on the [Notation of Untyped Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus_definition#Notation) and provides few improvements over it. ### Variables