brevet
| Crates.io | brevet |
| lib.rs | brevet |
| version | 0.4.0 |
| source | src |
| created_at | 2023-08-30 06:16:41.879273 |
| updated_at | 2023-11-12 01:04:59.375708 |
| description | Evaluator for Ei calculus with dependent merges and first class environments |
| homepage | |
| repository | https://github.com/graydon/brevet |
| max_upload_size | |
| id | 958739 |
| size | 23,725 |
Graydon Hoare (graydon)
documentation
README
Brevet
Experimental term evaluator
This is a small, incomplete evaluator for the Ei calculus described in:
Oliveira & Tan, ECOOP 2023, Dependent Merges and First-Class Environments 10.4230/LIPIcs.CVIT.2016.23 https://i.cs.hku.hk/~bruno/papers/ecoop23.pdf