A programmable virtual CPU written in untyped lambda calculus #1 Post by dangrigsby » Sat, Feb 10, 2024, 6:47 PM UTC A programmable virtual CPU written in untyped lambda calculusgithub.com