1 Modular Arithmetic in Lambda Calculus (sriku.org) 2 points by spdegabrielle 10 hours ago