II Programming with Curry

Chapter 4 Programming in Curry