It's a working Lisp-1 with proper support for lambda conversion/reduction rules. It's a long way from being a usable Lisp, but it's theoretically feasible to ta

It's a working Lisp-1 with proper support for lambda conversion/reduction rules. It's a long way from being a usable Lisp, but it's theoretically feasible to take it there. It says a lot about about his work that I am very excited to hack on it for the rest of the day, and I am not easily impressed by toy Lisps :-) Tip of the hat to the author for doing the right thing, imo.