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

The QED roadmap for 2025

3 minute read

QED as of now is a proof of concept. The core principles are solid and the current implementation works although it is not robust yet. I see many things to f...

Flappy bird, in QED

1 minute read

I just coded a first game in QED, a port of a javascript Flappy Bird!

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...