Logiweb aspects of computably true {MissingArg} end true in pyk

Up Help

The predefined "pyk" aspect

define pyk of computably true x end true as text unicode start of text unicode small c unicode small o unicode small m unicode small p unicode small u unicode small t unicode small a unicode small b unicode small l unicode small y unicode space unicode small t unicode small r unicode small u unicode small e unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small t unicode small r unicode small u unicode small e unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of computably true var x end true as text unicode start of text unicode newline unicode left brace unicode backslash unicode small c unicode small a unicode small l unicode space unicode capital t unicode right brace unicode left parenthesis unicode space unicode number sign unicode one unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define

The predefined "macro" aspect

define macro of computably true var x end true as lambda var t dot lambda var s dot lambda var c dot macro define four var t state var s cache var c definition quote macro define computably true var x end true as lambda var c dot normalizing untag eval quote var x end quote stack true cache var c end eval end untag end define end quote end define end define