Demonstrandum

Q.E.D. specifications are called demonstrandum or just demos for short. These demos are a pure application of Literate Programming. As such, they are completely free-form. In other words, unlike other systems, Q.E.D. has no special organizational domain language. Instead, specifications are simply text/markup files (typically RDoc format). For example, a specification may look like this:

    = Example Specification

    Concerning the Number 5, it should not be 4.

        5.should! == 4

    But it is itself.

        5.should == 5

(Notice the use of ‘!’ at the end of ‘should’. This is read as ‘should NOT’. For those who prefer, the word can be spelled out as #should_not.)

As you can see there are no “context”, “describe” or “it” calls. There is only the clean description of what is to be demonstrated.