Logiweb(TM)

Logiweb aspects of Hello World in pyk

Up Help

The "pyk" aspect

Define pyk of Hello World as "Hello World" end define

The "value" aspect

define value of Hello World as map ( \ x . { write ( "Hello World" ) :: <<>> } ) 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