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