rewriting-systems

标签

#rewriting-systems

Lambda MicroEgg

Lobsters Hottest ↗ · 2026-09-20 缓存

Lambda MicroEgg 是一个实现 e-graph 的工具，支持范围明确的 α 感知绑定器和高阶 Miller 模式，用于程序合成和重写。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈