$Header: /home/joe/scratch/challenger/autotool/challenger/doku/add-problem.html,v 1.1 2002/06/29 17:59:42 joe Exp $
export CVSROOT=:pserver:you@theopc.informatik.uni-leipzig.de:/home/joe/scratch/challenger cvs login cvs checkout autotoolerzeugt (unter anderem) directory autotool/. Die neuen Module kommen in autotool/challenger/.
Erfinde einen neuen Datentyp mit nur einem Konstruktor, der die Problemklasse eindeutig beschreibt. data Foo = Foo deriving Show
Programiere instance Problem Foo i b für deinen Instanz-Typ i und Beweis-Typ b.
Programmiere instance Number i ii für einen geeigneten nicht polymorphen Typ ii. Falls i bereits nicht polymorph ist, dann genügt
instance Number i ii where number = idProgrammiere Iso i. Falls Du keinen gescheiten Isomorphie-Test hast, dann genügt
instance Iso i where iso = (==)Testen: hucks Foo.hs im aktuellen Directory.