pantagruel

x || => Real
y ||=>Real
x > rand andr "D" 10 x
and x == 1
exists (m, n, z) from x . y"x""m,n,z"
""
y = |x : |z:D| :: D | :: D
;;
z|| => Z
d|| => D
z|| => Nat
{`ok, `stop} => Status
rand|| :: Nat
andr|x,y : Nat, Real . x > y| :: Bool
z d <- y ; Here is a comment on `z d`.
;;
y|| => Y
x|| => X
exists x from y, y from z . x > 0
x != 0
; This is two comments together.
; They should be one paragraph.
[x from X, y from Z, z from Y . x * y ^ z]; Now includes semicolons; much better.
or [x from String . x + `ok]
all (j,k):X . j > k
;;
x|y:Real . y == 1|
z x . x > 1 <- 0