Logiweb(TM)

Logiweb aspects of line " : Block >> Begin ; " line " : Block >> End ; " in pyk

Up Help

The "pyk" aspect

Define pyk of line asterisk : Block >> Begin ; asterisk line asterisk : Block >> End ; asterisk as "line "! : Block >> Begin ; "! line "! : Block >> End ; "!" end define

The "tex" aspect

Define tex of line x : Block >> Begin ; y line z : Block >> End ; u as "
\newline%
\makebox[0.1\textwidth]{}%
\parbox[b]{0.4\textwidth}{\raggedright%
\makebox[0mm][r]{\makebox[0.1\textwidth][l]{$"[ x ] { "{:}$}}%
$Block {} \gg {}$}%
\parbox[t]{0.4\textwidth}{\raggedright\setlength{\leftskip}{\indentation}%
$Begin$\hfill
\makebox[0mm][l]{\quad ;}}\addtolength{\indentation}{1em} "[ y ] { "
\newline\addtolength{\indentation}{-1em}%
\makebox[0.1\textwidth]{}%
\parbox[b]{0.4\textwidth}{\raggedright%
\makebox[0mm][r]{\makebox[0.1\textwidth][l]{$"[ z ] { "{:}$}}%
$Block {} \gg {}$}%
\parbox[t]{0.4\textwidth}{\raggedright\setlength{\leftskip}{\indentation}%
$End$\hfill
\makebox[0mm][l]{\quad ;}} "[ u ]"" } } } end define

The "macro" aspect

define macro of line l : Block >> Begin ; x line k : Block >> End ; n as \ x . expand ( quote macro define line l : Block >> Begin ; x line k : Block >> End ; n as Line l : Block >> Begin ; x line k : Block >> End ; n end define end quote , x ) end define

The "texname" aspect

Define tex name of line x : Block >> Begin ; y line z : Block >> End ; u as "
L "[ x ] { "
\colon Block \gg Begin ; \quad "[ y ] { "
\quad L "[ z ] { "
\colon Block \gg End ; "[ u ]"" } } } end define

The "locate/kg" aspect

define locate of line asterisk : Block >> Begin ; asterisk line asterisk : Block >> End ; asterisk as "line" :: 3 end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:11:58.175987 = MJD-54293.TAI:20:12:31.175987 = LGT-4690987951175987e-6