These files contain an Haskell-to-Frege translation of source examples taken from the following book:

 Purely Functional Data Structures
 Chris Okasaki
 Cambridge University Press, 1998
 Copyright (c) 1998 Cambridge University Press