https://github.com/polux/lambda-diagrams

Animations of lambda term reduction sequences
https://github.com/polux/lambda-diagrams

lambda-calculus

Last synced: 3 months ago
JSON representation

Animations of lambda term reduction sequences

• Host: GitHub
• URL: https://github.com/polux/lambda-diagrams
• Owner: polux
• License: apache-2.0
• Created: 2018-05-30T18:29:11.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-05-30T18:29:45.000Z (over 6 years ago)
• Last Synced: 2024-02-17T10:37:58.679Z (9 months ago)
• Topics: lambda-calculus
• Language: Haskell
• Size: 10.7 KB
• Stars: 83
• Watchers: 5
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Lambda Diagrams

*Disclaimer: this is not an official Google product*

An implementation of John Tromp's [lambda diagrams][1] graphical notation for

lambda terms. It reads a lambda term on the standard input and renders an

animation of its evaluation.

This [youtube playlist][2] showcases animations produced with this program.

Usage:

```

stack build

stack exec lambda-diagrams < prog.lam

avconv -framerate 10 -f image2 -i /tmp/out_%04d.png -c:v h264 -crf 1 lam.mp4

```

[1]: https://tromp.github.io/cl/diagrams.html

[2]: https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV