Programming

I have adapted the proof assistant Yarrow (programmed by Jan Zwanenburg) to Haskell 98:

`yarrow98-src.zip` ,	`yarrow98-src.tar.gz` .
(536 KB)	(413 KB)

( See also http://www.cs.kun.nl/~janz/yarrow. )