文件名称：taskkill
文件大小：30KB
文件格式：ZIP
更新时间：2024-03-30 21:42:35
你好呀 :waving_hand: 我是John，我对PL和Type Systems相关的东西感兴趣。 我最喜欢的一些作品： Lambdulus是用于交互式学习λ微积分的工具。 它可以在任何现代浏览器中在线运行，并使您能够体验λ微积分作为一种编程语言。 具有Damas-Hindley-Milner类型推断的简单编程语言 let zero = ( \ n -> (n == 0 )) dec = ( \ n -> n - 1 ) in let rec fact n = if (zero n) then 1 else (n * (fact (dec 1 ))) in (fact 5 ) 受Prolog启发的小型逻辑编程语言 plus ( z , N , N ) . plus (s( N ), M , s( R ))
【文件预览】：
taskkill-main
----imgs()
--------lambdulus-frontend-fact.png(31KB)
----README.md(2KB)