Unlabelled let is the same as lambda

And unlabelled let is the same as (eval (quote (code) (args-as-env)))

Yes. Please read LoL.

>>1
What the fuck are you smoking? What the fuck is an unlabeled let?

Any kindergartener already knows that (let ((a 1) (b 2)) body) is equivalent to ((lambda (a b) body) 1 2).

Don't need that eval shit, especially not your malformed nonsense.

>>3
in some languages (like Coq), let has slightly different typing rules than application, as it knows a bit more about the value being typed.