Programmierung

Der Beweis-Assistent Yarrow (programmiert von Jan Zwanenburg) läuft nun auch unter Haskell 98:

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

( Siehe auch http://www.cs.kun.nl/~janz/yarrow. )


Valid XHTML 1.0!