Logiweb(TM)

Logiweb aspects of line " : Local >> " = " ; " in pyk

Up Help

The "pyk" aspect

Define pyk of line asterisk : Local >> asterisk = asterisk ; asterisk as "line "! : Local >> "! = "! ; "!" end define

The "tex" aspect

Define tex of line x : Local >> y = z ; u as "
\newline%
\makebox[0.1\textwidth]{}%
\parbox[b]{0.4\textwidth}{\raggedright%
\makebox[0mm][r]{\makebox[0.1\textwidth][l]{$"[ x ] { "{:}$}}%
$Local {} \gg {}$}%
\parbox[t]{0.4\textwidth}{\raggedright\setlength{\leftskip}{\indentation}%
$"[ y ] { " \mathrel{\ddot{=}} "[ z ] { "$\hfill
\makebox[0mm][l]{\quad ;}} "[ u ]"" } } } end define

The "macro" aspect

define macro of line l : Local >> x = y ; n as \ x . expand ( quote macro define line l : Local >> x = y ; n as let x := y in n end define end quote , x ) end define

The "texname" aspect

Define tex name of line x : Local >> y = z ; u as "
L "[ x ] { "
\colon Local
\gg "[ y ] { " \mathrel{\ddot{=}} "[ z ] { "
; "[ u ]"" } } } end define

The "locate/kg" aspect

define locate of line asterisk : Local >> asterisk = asterisk ; asterisk as "line" :: 1 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