absal 0.1.4

Optimal reduction of λ-terms
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
[[bin]]
name = "main"
path = "src/main.rs"

[dependencies]

[lib]
name = "absal"
path = "src/lib.rs"

[package]
authors = ["Victor Maia <srvictormaia@gmail.com>"]
description = "Optimal reduction of λ-terms"
license = "MIT"
name = "absal"
version = "0.1.4"