9 lines
130 B
Text
9 lines
130 B
Text
include ..\Utilitys.tlhy
|
|
|
|
:*2 2 * ;
|
|
:++ 1 + ;
|
|
:composite swap exec swap exec ;
|
|
|
|
@++ @*2 3 composite ? { result: 7 }
|
|
|
|
"End " input
|