lambda_calculus 2.0.0

A simple implementation of pure lambda calculus
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

[package]

name = "lambda_calculus"

version = "2.0.0"

description = "A simple implementation of pure lambda calculus"

repository = "https://github.com/ljedrz/lambda_calculus"

documentation = "https://docs.rs/lambda_calculus"

readme = "README.md"

license = "CC0-1.0"

keywords = ["lambda", "calculus", "functional", "mathematics", "combinators"]

authors = ["ljedrz <ljedrz@gmail.com>"]

exclude = [".cargo/*", "target/*"]



[features]

default = ["encoding"]

backslash_lambda = []

encoding = []



[badges]

travis-ci = { repository = "ljedrz/lambda_calculus", branch = "master" }

maintenance = { status = "passively-maintained" }

is-it-maintained-open-issues = { repository = "ljedrz/lambda_calculus" }



[dependencies]