Update README.md

andrew-johnson-4 · Dec 27, 2023 · e83cfd8 · e83cfd8
1 parent df8215d
commit e83cfd8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -18,6 +18,7 @@ Future work will also be done to provide a zoom-in/zoom-out interface for rules.
 λ☶ is a programming language written in the passive voice.
 `eval-soft` and `eval-hard` are the exposed entry points into your program.
 A λ☶ program is then defined as *capabilities* gifted to anyone with access to your entry points.
+λ☶ syntax consists of typed lambda calculus expressions potentially nested inside of rules.
 
 ![Equation](https://github.com/andrew-johnson-4/-/blob/main/equation.png)