Sha256: aacf6b0763b0bad088c2881094a073ff00e99ef3f74f38590f430178acdfa4d6
Contents?: true
Size: 371 Bytes
Versions: 6
Compression:
Stored size: 371 Bytes
Contents
---
name: "031"
caption: "Lambda calculus"
color: "off"
category: "Formal Semantics"
polyline: "off"
symmetrization: "off"
connector: "auto"
connector_height: "1.5"
linewidth: "1"
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
6 entries across 6 versions & 1 rubygems