2 questions

[mnru]

I have 2 questions.

1.

the type of the word list is

('a -> ( -> 'a))

in

http://www.cat-language.com/manual.html

but

(( -> 'A) -> list)

in

http://www.cat-language.com/primitives.html#list


which is true ?


2.

In http://www.cat-language.com/manual.html

the grammar of Cat is defined.

But I feel instruction and operation should be a same word . Isn't it true ?