I was a bit confused until I realized that https://miniscript.org/ isn't the same programming language as https://bitcoin.sipa.be/miniscript/.