| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/SML/ (Beweissystem Isabelle 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.1 Sekunden (vorverarbeitet am 2026-04-27) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26