The oracle-free fragment of Lamping's algorithm can evaluate all λ-termsgithub.com/MaiaVictor6 pointsLightMachine9 years ago