开发者 vlcmm.sf.net

我们引入了基于类型思维图的完全可视化表示，以表示纯无类型 lambda 计算器 VLM 的计算步骤。