| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/SML/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 84 B |
|
Quelle Example.smlSprache: SML |
|||||||||||||||
|
structure Example :> Example = struct type t = int val a = 0 fun b x = x + 1 end
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09