brevet 0.4.0

Evaluator for Ei calculus with dependent merges and first class environments
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

[dependencies.arbitrary]
features = ["derive"]
version = "1"

[dependencies.serde]
features = ["derive", "rc"]
version = "1.0"

[package]
description = "Evaluator for Ei calculus with dependent merges and first class environments"
edition = "2021"
license = "MIT OR Apache-2.0"
name = "brevet"
readme = "README.md"
repository = "https://github.com/graydon/brevet"
version = "0.4.0"