RosettaCodeData/Task/Evaluate-binomial-coefficients/ACL2/evaluate-binomial-coefficients.acl2
2023-07-01 13:44:08 -04: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)))