leque/dc-machine
a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
正在读取项目信息…
开源雷达国内 GitHub 镜像站
加速通道已就绪
返回列表
开源雷达国内 GitHub 镜像站
a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.