1 {---------------------------------------------------------------
2 Daan Leijen (c) 2001. daan@cs.uu.nl
6 $Date: 2002/05/31 12:22:35 $
7 ---------------------------------------------------------------}
10 import While( prettyWhileFromFile )
12 main = prettyWhileFromFile "fib.wh"