first steps in TLA - recursive functions don't work

[tk <tadek...@xxxxxxxxx>]

Hi, 

I started to explore the world of TLA+ just a few days ago. For some reason I can't get to work even the simplest examples from the book, such as recursive functions. The troublesome examples are in the tla file attached. What am I missing? I run the most recent versions of TLA+ Toolbox and TLAPS.

Best,

Ted

 

Attachment: Test.tla
Description: Binary data