Hacker News new | ask | show | jobs
Implementing Substitution in λ-Calculus (ucilnica.fri.uni-lj.si)
2 points by maticzav 1567 days ago