V
OpenVet
Packages
Docs
Blog
Sign in
cargo
/
brevet
brevet
cargo
Evaluator for Ei calculus with dependent merges and first class environments
0
audits
github.com/graydon/brevet
Audits
0
Versions
4
Audits
No audits for this package yet.