well, there have been new posts that mention the correct location: See this blog post for the materials.

And btw, new versions are coming to Debian soon ðŸ˜‰

]]>Never too late! ^_^

]]>`op g : Nat Nat -> Nat .`

Thanks for the report, I will fix the page.

]]>open NAT .

vars A B : Nat

op square : Nat -> Nat .

eq square(A) = A * A .

op f : Nat Nat -> Nat .

eq f(A, B) = A * A + B * B .

op g: Nat Nat -> Nat .

eq g(A, B) = square(A) + square(B) .

red square(10) .

red f(3,4) .

red g(3,4) .

close

Fails to load (i tried line by line and saved as a file ). But second file works fine

This is just intended as helpful feed back I am sure I will cope. thanks

]]>