balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Michelson: Add LAMBDA to the language spec

Browse Source
This commit is contained in:
Milo Davis 2017-08-18 16:31:38 +02:00 committed by Benjamin Canou
parent 804c3a4886
commit 8d852993ff
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/proto/alpha/docs/language.md
View File

@ -471,6 +471,11 @@ IV - Core instructions
> UNIT / S => Unit : S > 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 ### Generic comparison
Comparison only works on a class of types that we call comparable. Comparison only works on a class of types that we call comparable.