pantagruel

x => Real
y =>Real
---
x > rand andr [D] 10 x
and x = 1
exists (m, n, z) : x \ y[x][m,n,z]
[]
y = fn x : fn z:D :: D  :: D

;

z => Z
d => D
z => Nat
Status <= {`ok, `stop}
rand :: Nat
andr x:Nat, y : Real, x > y :: Bool
---
z d <- y " Here is a comment on `z d`.

;

y => Y
x => X
---
exists x : y, y : z \ x > 0
x != 0
" This is two comments together.
" They should be one paragraph.
[x : X, y : Z, z : Y \ x * y ^ z]" Now includes semicolons; much better.
or [x : String \ x + `ok]
all (j,k):X \ j > k

;

x y:Real, y = 1 :: `ok
---
z x, x > 1 <- 0