4 个版本 (破坏性更新)
| 0.4.0 | 2023年11月12日 |
|---|---|
| 0.3.0 | 2023年11月12日 |
| 0.2.0 | 2023年11月12日 |
| 0.1.0 | 2023年8月30日 |
#398 in 数学
用于 submerge
12KB
284 代码行
Brevet
实验性术语评估器
这是一个小型、不完整的 Ei 微积分评估器，如
Oliveira & Tan，ECOOP 2023，依赖合并和第一类环境 10.4230/LIPIcs.CVIT.2016.23 https://i.cs.hku.hk/~bruno/papers/ecoop23.pdf
依赖项
~0.5–1MB
~24K SLoC