開發者 vlcmm.sf.net

我們引入了基於類型思維圖的完全可視化表示，以表示純無類型 lambda 計算器 VLM 的計算步驟。