lambda-types 0.1.2

Puts the lambda calculus in Rust...'s type system.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
[package]

name = "lambda-types"

version = "0.1.2"

edition = "2021"

authors = ["baltdev"]

description = "Puts the lambda calculus in Rust...'s type system."

license = "MIT"

repository = "https://github.com/balt-dev/lambda-rs"

documentation = "https://docs.rs/lambda-types/"



[dependencies]

paste = "1"



[features]

default = []

const-numeral = []