A lift simulation in Fran

Fran programs to download. You will, of course, need to have Fran, which comes as part of the standard distribution of Hugs.

The programs are documented, and the technical report describes the two-floor lift in considerable detail.

The two-floor simulation, described in considerable detail in the paper.
The n-floor simulation, described in the same paper. This simulation requires a library module: AccumCB.lhs.

Last modified 19 April 1999.