Aufgabe 2

• Das Beweissystem
• Exkurs: I/O in lazy funktionalen Sprachen - eine Übersicht
  • Problem
  • I/O als Dialog in Haskell
  • I/O mit unique types in Clean
  • Monadisches I/O