asura14/alloy-hanoi-tower

Alloy Hanoi Tower

The Tower of Hanoi is a mathematical game or puzzle. It consists of three rods, and a number of disks of different sizes which can slide onto any rod. The puzzle starts with the disks in a neat stack in ascending order of size on one rod, the smallest at the top, thus making a conical shape.

The objective of the puzzle is to move the entire stack to another rod, obeying the following simple rules:

• Only one disk can be moved at a time.
• Each move consists of taking the upper disk from one of the stacks and placing it on top of another stack i.e. a disk can only be moved if it is the uppermost disk on a stack.
• No disk may be placed on top of a smaller disk.

Project develloped in Alloy.

alloy-hanoi-tower's Issues

Fails to run on Alloy 4.2

I'm getting this error when i run this using Alloy 4.2.

A type error has accured:

Name cannot be resolved; possible incorrect
function/predicate call; perhaps you used ( ) when you
should have used [ ]

This cannot be a correct call to fun seq/first.
The parameters are
s: {Int->univ}
so the arguments cannot be empty.

And can you explain how the code works please?