There used to be something on the front page, but the result was that too many people thought it was just a nix language replacement when it really was its own implementation of the packaging model that nix pioneered. The Guix documentation gives full credit to nix where it is due. The founder of the project spent years contributing to nix.
Cheaper SoCs like Arduino and Cortex-M3 run bare metal runtimes, just like on the old days.
But yeah, I guess for single units people will just shell out 10 euro more and use a Linux capable unit.
However there are options to use better languages than C or C++ for bare metal embedded development, but none of them tends to be Forth, rather Basic, Pascal, Ada, Java, .NET, Oberon variants.