# 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