-
Notifications
You must be signed in to change notification settings - Fork 94
lambdaCalculus.clj
ccckmit edited this page Dec 4, 2024
·
1 revision
(base) cccimac@cccimacdeiMac _clojure % clojure -M lambdaCalculus.clj
clojure.test/run-tests in namespace: rahul.lambda-calculus-test, being replaced by: #'rahul.lambda-calculus-test/run-tests
Testing rahul.lambda-calculus-test
Ran 6 tests containing 46 assertions.
0 failures, 0 errors.
從希爾伯特到圖靈的那些故事
-- 以 Python 展現這些故事背後的程式