6 lines
71 B
Text
6 lines
71 B
Text
|
theory Scratch
|
|||
|
|
imports Main
|
|||
|
|
begin
|
|||
|
|
value ‹''Hello world!''›
|
|||
|
|
end
|