1 Modular Arithmetic in Lambda Calculus (sriku.org) 3 points by spdegabrielle 20 days ago