Category:Lambdatalk: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
| Line 29: | Line 29: | ||
{lambda talk} is freely inspired by the λ-calculus. At the lowest level a {lambda talk} expression is exclusively made of words, abstractions and applications: |
{lambda talk} is freely inspired by the λ-calculus. At the lowest level a {lambda talk} expression is exclusively made of words, abstractions and applications: |
||
=== |
===structure & evaluation=== |
||
expression is [word|abstraction|application]* |
expression is [word|abstraction|application]* |
||