QED Language


QED is a very interesting programming language that I am experimenting with. It was created by Martin Savage.

It is under development, not nailed-down yet. Currently, you can experiment with a web-based version of the compiler - below is an editor 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