QED is a very interesting programming language that I am experimenting with. It was created by Martin Savage. The project is on-going, Martin in working on significant changes in 2022.
It is under development, not nailed-down yet. Currently, you can experiment with a web-based version of the compiler - below is an editor (created Dec 2019) which simplifies access to the system, but it is not essential.
Here are some links:
Until the QED system is available for download, here is an editor to assist in developing a program. It simplifies the copying/pasting of code into the QED web page, where it can be executed.