Der Beweis-Assistent Yarrow (programmiert von Jan Zwanenburg) läuft nun auch unter Haskell 98:
( Siehe auch http://www.cs.kun.nl/~janz/yarrow. )