[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
first steps in TLA - recursive functions don't work
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.
Description: Binary data