Hacker News new | ask | show | jobs
Show HN: The Abstract Calculus, the language of optimal λ-reductions (medium.com)
3 points by maiavictor 2861 days ago