The QED compiler is not ready yet for download. We’re striving for it though. Please check this page from time to time for updates or follow QED on X or reddit.

In the meantime, here is a sandbox component where you can paste simple code to test.