Hacker News Reader

Nix is turing complete (it can implement the Lambda Calculus), even conveniently so.

Then people shouldn't say it is, such as in the article under discussion.

What aspect of lambda calculus is not declarative?