Fix phrase describing lambda calculus

shonfeder · Aug 24, 2021 · 71f39b1 · 71f39b1
1 parent d21f1b3
commit 71f39b1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -73,8 +73,8 @@ extensive examples, see
 
 ### An ABT for the λ-calculus
 
-Here is a short example showing a naive implementation of the simply typed
-lambda calculus using `um-abt`.
+Here is a short example showing a naive implementation of the untyped lambda
+calculus using `um-abt`.
 
 ABTs representing the syntax of a language are produced by applying the
 `Abt.Make` functor to a module implementing the `Operator` specification.