The oracle-free fragment of Lamping's algorithm can evaluate all λ-termsgithub.com6 points·LightMachine··0 commentsOpen articleSaveView on HN