文件名称:lambda-calculus-js-old:Lambda 微积分的解析器和求解器
文件大小:777KB
文件格式:ZIP
更新时间:2024-07-19 19:01:09
JavaScript
移至 lambda-calculus.js Lambda 微积分的解析器和求解器 下载 (右键单击链接,然后选择“另存为”) 用法 偏爱 将[removed] path/to/lambda-calculus.js [removed] 添加到<head>...</head> 基本用法 var e = lambda ( '(λx.x) a' ) ; // this is simplest, and easy to understand. console . log ( e . solve ( ) . str ( ) ) ; // a e = L ( '(λx.x) a' ) ; // L() is shorthand for lambda(). console . log ( e . solve ( ) . str ( ) ) ; // a e = L ( '(#x.x) a' ) ; /
【文件预览】:
lambda-calculus-js-old-master
----.gitignore(10B)
----src()
--------lambda-calculus.jsy(9KB)
----samples()
--------js()
--------index.html(4KB)
----README.md(2KB)
----lambda-calculus.min.js(6KB)
----lib()
--------yuicompressor.jar(769KB)
----lambda-calculus.js(16KB)
----Rakefile(229B)