Implementierungen

• einfache Modellierung

  import qualified Data.Set as S
  data Game = Game (S.Set Game) (S.Set Game)
  

  https://gitlab.imn.htwk-leipzig.de/autotool/all0/-/tree/master/collection/src/Game/CGT

  Vorteil: offensichtlich korrekt,

  Nachteil: kein explizites sharing, ⇒ keine dyn. Progr.

• David Wolfe: The Gamesman's Toolkit, 1994 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5659

  aber wo sind die Quelltexte?