Implementing a Lambda Calculus numeral algebra in Clojure. ... plus in terms of succ applies the succ function n times, starting at m .
確定! 回上一頁