RosettaCodeData/Task/Evaluate-binomial-coefficients/ACL2/evaluate-binomial-coefficients.acl2
Ingy döt Net 764da6cbbb CDE
2013-04-10 16:57:12 -07:00

7 lines
127 B
Text

(defun fac (n)
(if (zp n)
1
(* n (fac (1- n)))))
(defun binom (n k)
(/ (fac n) (* (fac (- n k)) (fac k)))