Contents

---
name: "031"
caption: "Lambda calculus"
color: "off"
category: "Formal Semantics"
polyline: "off"
symmetrization: "off"
connector: "auto"
hide_default_connectors: "off"
font: "Noto Sans Mono"
reference: 
---
```
[chase(mouse)(cat)
  [<>λx.λy.chase(mouse)(y)<>
    [<>λxλy.chase(x)(y)<>]
    [<>mouse<>]
  ]
  [<>cat<>]
]
```

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
rsyntaxtree-1.2.3	docs/_examples/031.md
rsyntaxtree-1.2.2	docs/_examples/031.md