From 8d852993ff87fd5f9e5f3d6c6bca7e253a590878 Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Fri, 18 Aug 2017 16:31:38 +0200
Subject: [PATCH] Michelson: Add LAMBDA to the language spec

---
 src/proto/alpha/docs/language.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md
index 3750dd8ed..b75af370e 100644
--- a/src/proto/alpha/docs/language.md
+++ b/src/proto/alpha/docs/language.md
@@ -471,6 +471,11 @@ IV - Core instructions
 
         > UNIT / S   =>   Unit : S
 
+   * `LAMBDA 'a 'b code`:
+     Push a lambda with given parameter and return types onto the stack.
+
+        :: 'A ->  (lambda 'a 'b) : 'A
+
 ### Generic comparison
 
 Comparison only works on a class of types that we call comparable.