Functional Pearl: La Tour D'Hanoi

This pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. The puzzle has its own beauty, which we hope to expose along the way. Copyrightc 2009 ACM.

Bibliographic Details
Main Author: Hinze, R
Format: Journal article
Language:English
Published: 2009
Description
Summary:This pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. The puzzle has its own beauty, which we hope to expose along the way. Copyrightc 2009 ACM.