#evaluator #dependent #experimental #calculus #merges #environments #term

brevet

Evaluator for Ei calculus with dependent merges and first class environments

4 releases (breaking)

0.4.0 Nov 12, 2023
0.3.0 Nov 12, 2023
0.2.0 Nov 12, 2023
0.1.0 Aug 30, 2023

#777 in Math


Used in submerge

MIT/Apache

12KB
284 lines

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

Dependencies

~0.5–1MB
~24K SLoC