4 ms·Scheme is like untyped calculus. What about typed calculus?by miguelrochefort 11y agoScheme is like untyped calculus. What about typed calculus?