The files in this directory contain definitions mentioned in

   "Elements of Functional Programming" by Chris Reade
    published by Addison Wesley, 1989


chrisprelude.ML
    defines a structure Chrisprelude (referred to as just Prelude in the book)
    with some general purpose functions.

charpics.ML
    defines a structure Charpics (using Chrisprelude) with an abstract type
    picture for forming character pictures.

life.ML
    defines a structure Life (using Chrisprelude) with functions for calculating
    generations in Conway's game of life.

bintree.ML
    defines a datatype operator bintree along with some related functions and
    uses Charpics in addition to Chrisprelude to form pictures of trees.

