Show HN: How to compute a factorial with λ calculus in a post card https://ift.tt/3jlrRZ6 https://ift.tt/3inXVtK