图形重写λ型示波器:Lambdascope，lambda演算的最佳评估器

[应用,bsd3型,编译器-解释器,程序][建议标签]

Lambdascope是文森特·范·奥斯特罗姆（Vincent van Oostrom）、基斯·扬·范·德鲁伊（Kees-Jan van de Looij）和马里恩·兹维瑟洛德（Marijn Zwitserlood）在论文“Lambdascape-lambda-calculus的另一个最佳实现”中描述的λβ-演算的最佳评估器。这个包包含一个交互式应用程序，它将Lambdascope实现为一个port-graph重写系统。使用“examples”目录中的一个文件作为参数调用“lambdascope”。有关GUI的用法，请参阅图形重写。总账UI.使用“--lmo”标志表示最左侧最外侧的评估，使用“--bench”表示对弱头范式的非图形评估。

下载

图形-写入lambdascope-0.5.11.tar.gz[浏览]（Cabal源包）
包装说明（如包装中所含）

维修人员角落

包装维护人员

JanRochel公司

对于包维护者和黑客托管者

编辑程序包信息

候选人

0.5.11美元

版本[RSS公司]	0.4.3,0.4.4,0.4.5,0.4.6,0.4.7,0.4.8,0.4.9,0.4.10,0.4.11,0.5,0.5.2,0.5.3,0.5.4,0.5.5,0.5.6,0.5.7,0.5.8,0.5.9,0.5.10,0.5.11美元
依赖关系	基础(>=4.9 && <5),基音符号(>=0.2 && <0.3),GLUT公司（>=2.2&&<3）,图形重写(>=0.7.8 && <0.9),图形-重写-gl(>=0.7.6 && <0.8),图形重写布局(>=0.5.4 && <0.6),图形重写策略(>=0.2.4 && <0.3),缩进分析器（>=0.1&&<0.2）,mtl公司(>=1.1 && <2.3),OpenGL（OpenGL）(>=3.0 && <4),解析(>=3.1 && <3.2)[详细信息]
许可证	BSD-3条款
版权所有	（c） 2010年，Jan Rochel
作者	简·罗切尔
维护人员	jan@rochel.info
类别	编译程序/解释程序,应用程序
主页	http://rochel.info/#graph-重写
已上传	通过JanRochel公司在2024-03-18T16:44:01Z
分配
反向依赖关系	1个直接，0个间接[详细信息]
可执行程序	λ镜
下载	总计14304人（过去30天内24人）
额定值	（尚未投票）[估算人贝叶斯平均]
您的评分	λ λ λ
状态	文档不可用[生成日志] 上次成功报告时间：2024-03-18[所有1个报告]