Dokumentation installierter Software an der Professur Kist

• Haskell Report 1.4 Auch als .ps.gz-Datei.
• Haskell Libaray Report 1.4 Auch als .ps.gz-Datei.
• Haskell Report 1.3
• Lucky - der Parsergenerator für Haskell
• Fudgets
• HBC
• HTML
• GHC-2.10
  • Installation Manual
  • User Manual
  • Library Manual
• Isabelle vom Oktober 1999
  • Einführung
  • Referenz
  • HOL-Objektlogik
• Isabelle vom Oktober 2000
  • Einführung
  • Referenz
  • HOL-Objektlogik

$Id: index.html,v 1.3 2000/10/10 10:52:57 mann Exp $