lambda-types 0.1.2

Puts the lambda calculus in Rust...'s type system.
Documentation
[dependencies.paste]
version = "1"

[features]
const-numeral = []
default = []

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

[package]
authors = ["baltdev"]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = false
description = "Puts the lambda calculus in Rust...'s type system."
documentation = "https://docs.rs/lambda-types/"
edition = "2021"
license = "MIT"
name = "lambda-types"
readme = "README.md"
repository = "https://github.com/balt-dev/lambda-rs"
version = "0.1.2"

[[test]]
name = "static-test"
path = "tests/static-test.rs"