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