Show HN: The Abstract Calculus, the language of optimal λ-reductions Posted by maiavictor on Thursday August 23, 2018 @06:53PM from the show-hn dept. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c ( no comments | 3 points | on HN )
There are no comments yet.