%include "combinators"

fact = y factfunctor
factfunctor = cond'' (k (=0)) (k2 1) (times'' (k i) (. (subtract 1)))
