| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Apache/modules/generators/ (Apache Web Server Version 2.4.65©) Datei vom 7.3.2016 mit Größe 9 kB |
|
Quelle Generate_Abstract_Char.thy Sprache: Isabelle |
|||||||||||||||
|
(* Author: Florian Haftmann, TU Muenchen *) section ‹Pervasive test of code generator› theory Generate_Abstract_Char imports Candidates "HOL-Library.Code_Abstract_Char" begin text ‹ If any of the checks fails, inspect the code generated by a corresponding ‹export_code› command. › export_code _ checking SML OCaml? Haskell? Scala end
¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-09-27) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-09