Programs in List Notation
 
WIDE supports editing, compilation and debugging capabilities of programs in list notation.
 
The list notation corresponds closely to the concrete syntax described in the textbooks, and is detailed in the following table.
 
Program:
     ( (var i) C (var j) )
 
Commands  C, D:
     (; C D)
     (while E C)
     (:= (var i) E)
     (if E C D)
 
Expressions  E, F:
     (var i)
     (quote d)
     (cons E F)
     (hd E)
     (tl E)
 
Remark: i, j stand for numerals, which can be typed in decimal, but are always represented in unary (the form niln).