4 ms·Show HN: The Abstract Calculus, the language of optimal λ-reductions3 points by maiavictor 8y ago