less than 1 minute read

Finally, QED has completely changed! Not only the language but this website, which now - at last - contains a complete tutorial, loaded with runnable demos!

It is still the QED programming language because the core principles are the same. However, it was flawed at many levels: array management, readability, VM usage, etc. Since 2020, the language has been redesigned many times to fix all these defects. I think I got it right now, well enough to warrant the extended tutorial and confident that this version will handle upcoming features and future tooling well.

So welcome again to QED!.

Categories: ,

Updated:

You may also enjoy

Another article on QED + some news

1 minute read

I wrote a second article for Human Readable Magazine, this time on the processing of the ‘return’ statement in a type/function equivalence context. Understan...

A first contribution to QED

1 minute read

I am very happy to report that QED reached a major milestone for a nascent language: a first contribution! Mike Parr, who has a wealth of experience in vario...