Church numerals: Difference between revisions
Content added Content deleted
m (→{{header|Haskell}}: Normalised wiki formatting of a sub-header.) |
|||
Line 448: | Line 448: | ||
=={{header|Clojure}}== |
=={{header|Clojure}}== |
||
{{trans|Raku}} |
{{trans|Raku}} |
||
<lang clojure>(defn zero |
<lang clojure>(defn zero [f] identity) |
||
(defn succ [n] (fn [f] (fn [x] (f ((n f) x))))) |
(defn succ [n] (fn [f] (fn [x] (f ((n f) x))))) |
||
(defn add [n,m] (fn [f] (fn [x] ((m f)((n f) x))))) |
(defn add [n,m] (fn [f] (fn [x] ((m f)((n f) x))))) |
||
Line 454: | Line 454: | ||
(defn power [b,e] (e b)) |
(defn power [b,e] (e b)) |
||
(defn to-int [c |
(defn to-int [c] ((c inc) 0)) |
||
(defn from-int [n] |
(defn from-int [n] |