Logiweb(TM)

Logiweb aspects of page1 ( " ) in pyk

Up Help

The "pyk" aspect

Define pyk of page1 ( asterisk ) as "page1 ( "! )" end define

The "value" aspect

define value of page1 ( z ) as norm { z is val : LET z zeroth BE { t IN LET z first BE { s IN LET z second BE { c IN LET name quote priority table x end quote end name BE { p IN LET { p ref :: { p idx :: { t debug } } } :: { t second :: true } BE { y IN LET stateexpand ( y , s , c ) BE { y IN LET stateexpand ( t fifth , s , c ) BE { m IN LET stateexpand ( t sixth , s , c ) BE { a IN LET name quote page ( x , y ) title t bib b main text m appendix a end page end quote end name BE { p IN { { p ref :: { p idx :: { t debug } } } :: { t first :: { y :: { t third :: { t fourth :: { m :: { a :: true } } } } } } } } } } } } } } } } } end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6