A programmable virtual CPU written in untyped lambda calculusgithub.com/woodrush4 pointsdangrigsby2 years ago