The latest version of elsa is 0.2.2.0-0.
elsa
Version 0.2.0.0 revision 0 uploaded by ranjitjhala.
Package meta
- Synopsis
- A tiny language for understanding the lambda-calculus
- Description
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The goal is to help students build up intuition about lambda-terms, alpha-equivalence, beta-reduction, and in general, the notion of computation by substitution.
- Author
- Ranjit Jhala
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://github.com/ucsd-progsys/elsa
- Maintainer
- jhala@cs.ucsd.edu
- Package URL
- n/a
- Stability
- n/a