Revision as of 14:47, 31 October 2016 edit 109.57.29.33 (talk) origin of name, taken from external reference ← Previous edit		Revision as of 15:58, 31 January 2021 edit undo WOSlinker (talk \| contribs) Administrators 861,416 edits m change source to syntaxhighlight Next edit →
Line 23: ==Examples== <~~source~~syntaxhighlight lang=text> MODULE Lambda. CONSTRUCT Person/0. Line 46: (r = LAMBDA [u] (SOME [z] (r1(Fst(u),z) & r2(z,Snd(u)))) & PrimitiveRel(r1) & PrimitiveRel(r2))). </syntaxhighlight> ~~</source>~~ ==References==

Escher (programming language): Difference between revisions