RosettaCodeData/Task/Evaluate-binomial-coefficients/ACL2/evaluate-binomial-coefficients.acl2

8 lines
127 B
Text
Raw Permalink Normal View History

2013-04-10 16:57:12 -07:00
(defun fac (n)
(if (zp n)
1
(* n (fac (1- n)))))
(defun binom (n k)
(/ (fac n) (* (fac (- n k)) (fac k)))