3 ms·An adequate left-associated binary numeral system in the lambda calculus1 points by fanf2 10mo ago