Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale Sprachen/Isabelle/HOL/Proofs/Lambda/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: letin.simple   Sprache: Unknown

Spracherkennung für: .simple vermutete Sprache: Shell {Shell[60] Fortran[72] Ada[75]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

function x() == 
 let x = 32,
  y = x + 9
 in
  let x = y + 1
  in x

[ Dauer der Verarbeitung: 0.57 Sekunden  ]