mike parr's pages


QED Language


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:

Qeded Editor

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.

Here is the download - qeded.zip - 900K