Blame

Date:
Message:
Import sources
Actions:
History | Blob | Raw File
1 665c255d 2023-08-04 jrmu (defun Fr (n)

2 665c255d 2023-08-04 jrmu   (cond ((< n 3) n)

3 665c255d 2023-08-04 jrmu 	(t (+ Fr (- n 1))

4 665c255d 2023-08-04 jrmu 	   (* 2 (Fr (- n 2)))

5 665c255d 2023-08-04 jrmu 	   (* 3 (Fr (- n 3))))))