I'm sure this name has been taken before, but this won't be much of a public project.

As part of the VLisp idea, it seems an implementation of the McCarthy equations in Haskell is germane to the goals of the project. This starts getting some static typing into the project and allows me to start thinking of the equations in terms of types, which will be a key part of translating them to Coq (or Idris, perhaps, later on). The actual implementation has been spurred by Read-Eval-Print-λove v002 - UrLISP.

There is some code on darcshub, and there's also the hasp tag.