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

8 lines
127 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
(defun fac (n)
(if (zp n)
1
(* n (fac (1- n)))))
(defun binom (n k)
(/ (fac n) (* (fac (- n k)) (fac k)))