An experiment to implement factorial
, only with lambda calculus. Numbers, predicates, recursion, the whole schebang as lambda functions.
stopachka / church-factorial Goto Github PK
View Code? Open in Web Editor NEWImplement factorial only with lambda calculus