Advanced Taskmgr, helping you manage you tasks easily under XP, the difference between it and C:\WINDOWS\system32\taskmgr.exe is that it can find out the directory of the tasks, showing the DLL that tasks use,PID, user,etc. More features, please dow
你好呀 :waving_hand:
我是John,我对PL和Type Systems相关的东西感兴趣。
我最喜欢的一些作品:
Lambdulus是用于交互式学习λ微积分的工具。 它可以在任何现代浏览器中在线运行,并使您能够体验λ微积分作为一种编程语言。
具有Damas-Hindley-Milner类型推断的简单编程语言
let
zero = ( \ n -> (n == 0 ))
dec = ( \ n -> n - 1 )
in let rec