@hackage elsa0.1.0.0

A tiny language for understanding the lambda-calculus

Categories
License
MIT
Maintainer
jhala@cs.ucsd.edu
Links
Versions
- 0.2.2.0 Wed, 28 Sep 2022
- 0.2.1.2 Mon, 1 Apr 2019
- 0.2.1.1 Sun, 31 Mar 2019
- 0.2.1.0 Sun, 31 Mar 2019
- 0.2.0.1 Tue, 11 Apr 2017
- 0.2.0.0 Sun, 12 Mar 2017

Installation
In your cabal file:
Dependencies (8)
- array
- base >=4 && <5
- containers
- directory
- filepath
- mtl
Dependents (0)

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.

@hackage elsa0.1.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (8)

Dependents (0)