Jump to content

Church numerals: Difference between revisions

m
m (→‎{{header|Haskell}}: Normalised wiki formatting of a sub-header.)
Line 448:
=={{header|Clojure}}==
{{trans|Raku}}
<lang clojure>(defn zero [f] identity)
(defn succ [n] (fn [f] (fn [x] (f ((n f) x)))))
(defn add [n,m] (fn [f] (fn [x] ((m f)((n f) x)))))
Line 454:
(defn power [b,e] (e b))
 
(defn to-int [c] (let [countup (fn [i] (+ i 1))] ((c countupinc) 0)))
 
(defn from-int [n]
Anonymous user
Cookies help us deliver our services. By using our services, you agree to our use of cookies.