Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong. 8/2023. “LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).” Proc. ACM Program. Lang., 7, ICFP. Publisher's Version