Logiweb(TM)

Logiweb extract of test

Up Help

Table of contents

Date of publication
Bibliography
Definitions
Charges

Date of publication

GRD-2009-11-28.UTC:11:18:23.621142 (Gregorian Date / Universal Coordinated Time)
MJD-55163.TAI:11:18:57.621142 (Modified Julian Day / International Atomic Time)
LGT-4766123937621142e-6 (Logiweb Time)

Bibliography

[0] test (01B9F25A278238ACBDFCFA47173491B3A0F480509096C987A2BBD8BB0806)
[1] base (01AB1F51C8C17606A5C0331B5689B4858C796547B9A0A4AEF0BCB2BB0806)
[2] check (014E93CEDBCA44EB611BC0974861950432277A602795E9B4F2BAD8BB0806)

Definitions

test

Index 0 of page test

lgcdef lgcname of test as "test" enddef

define value of test as 2 + 3 end define

lgcdef lgccharge of test as "0" enddef

tt

Index 1 of page test

lgcdef lgcname of tt as "tt" enddef

define value of tt as true end define

lgcdef lgccharge of tt as "0" enddef

tf

Index 2 of page test

lgcdef lgcname of tf as "tf" enddef

define value of tf as false end define

lgcdef lgccharge of tf as "0" enddef

ta

Index 3 of page test

lgcdef lgcname of ta as "ta" enddef

define value of ta as tt :: tt end define

lgcdef lgccharge of ta as "0" enddef

tb

Index 4 of page test

lgcdef lgcname of tb as "tb" enddef

define value of tb as tt :: tf end define

lgcdef lgccharge of tb as "0" enddef

tc

Index 5 of page test

lgcdef lgcname of tc as "tc" enddef

define value of tc as tf :: tt end define

lgcdef lgccharge of tc as "0" enddef

td

Index 6 of page test

lgcdef lgcname of td as "td" enddef

define value of td as tf :: tf end define

lgcdef lgccharge of td as "0" enddef

tx

Index 7 of page test

lgcdef lgcname of tx as "tx" enddef

define value of tx as exception end define

lgcdef lgccharge of tx as "0" enddef

ty

Index 8 of page test

lgcdef lgcname of ty as "ty" enddef

define value of ty as 2 raise end define

lgcdef lgccharge of ty as "0" enddef

tz

Index 9 of page test

lgcdef lgcname of tz as "tz" enddef

define value of tz as 3 raise end define

lgcdef lgccharge of tz as "0" enddef

tm

Index 10 of page test

lgcdef lgcname of tm as "tm" enddef

define value of tm as map ( \ x . x ) end define

lgcdef lgccharge of tm as "0" enddef

to

Index 11 of page test

lgcdef lgcname of to as "to" enddef

define value of to as [Zero Pair Nine] Pair 1 end define

lgcdef lgccharge of to as "0" enddef

tO

Index 12 of page test

lgcdef lgcname of tO as "tO" enddef

define value of tO as [One Pair Nine] Pair 1 end define

lgcdef lgccharge of tO as "0" enddef

compiled-base

Index 13 of page test

lgcdef lgcname of compiled-base as "compiled-base" enddef

define value of compiled-base as norm compile ( base ) end define

lgcdef lgccharge of compiled-base as "0" enddef

compiled-test

Index 14 of page test

lgcdef lgcname of compiled-test as "compiled-test" enddef

define value of compiled-test as norm compile ( test ) end define

lgcdef lgccharge of compiled-test as "0" enddef

get-base0 ( " )

Index 15 of page test

lgcdef lgcname of get-base0 ( lgcvar ) as "get-base0 ( ""! )" enddef

define value of get-base0 ( x ) as base [[ x ref ]] [[ "code" ]] [[ x idx ]] end define

lgcdef lgccharge of get-base0 ( lgcvar ) as "0" enddef

get-base1 ( " )

Index 16 of page test

lgcdef lgcname of get-base1 ( lgcvar ) as "get-base1 ( ""! )" enddef

define value of get-base1 ( x ) as compiled-base [[ x ref ]] [[ "code" ]] [[ x idx ]] end define

lgcdef lgccharge of get-base1 ( lgcvar ) as "0" enddef

get-test0 ( " )

Index 17 of page test

lgcdef lgcname of get-test0 ( lgcvar ) as "get-test0 ( ""! )" enddef

define value of get-test0 ( x ) as test [[ x ref ]] [[ "code" ]] [[ x idx ]] end define

lgcdef lgccharge of get-test0 ( lgcvar ) as "0" enddef

get-test1 ( " )

Index 18 of page test

lgcdef lgcname of get-test1 ( lgcvar ) as "get-test1 ( ""! )" enddef

define value of get-test1 ( x ) as compiled-test [[ x ref ]] [[ "code" ]] [[ x idx ]] end define

lgcdef lgccharge of get-test1 ( lgcvar ) as "0" enddef

compile-test00

Index 19 of page test

lgcdef lgcname of compile-test00 as "compile-test00" enddef

define value of compile-test00 as quote %% %1 %2 %3 end quote end define

lgcdef lgccharge of compile-test00 as "0" enddef

compile-test01 ( " )

Index 20 of page test

lgcdef lgcname of compile-test01 ( lgcvar ) as "compile-test01 ( ""! )" enddef

define value of compile-test01 ( x ) as quote %% %1 %2 %3 end quote end define

lgcdef lgccharge of compile-test01 ( lgcvar ) as "0" enddef

compile-test02 ( " )

Index 21 of page test

lgcdef lgcname of compile-test02 ( lgcvar ) as "compile-test02 ( ""! )" enddef

define value of compile-test02 ( x ) as x end define

lgcdef lgccharge of compile-test02 ( lgcvar ) as "0" enddef

compile-test03 ( " , " )

Index 22 of page test

lgcdef lgcname of compile-test03 ( lgcvar , lgcvar ) as "compile-test03 ( ""! , ""! )" enddef

define value of compile-test03 ( x , y ) as x end define

lgcdef lgccharge of compile-test03 ( lgcvar , lgcvar ) as "0" enddef

compile-test04 ( " , " )

Index 23 of page test

lgcdef lgcname of compile-test04 ( lgcvar , lgcvar ) as "compile-test04 ( ""! , ""! )" enddef

define value of compile-test04 ( x , y ) as y end define

lgcdef lgccharge of compile-test04 ( lgcvar , lgcvar ) as "0" enddef

compile-test05 ( " , " )

Index 24 of page test

lgcdef lgcname of compile-test05 ( lgcvar , lgcvar ) as "compile-test05 ( ""! , ""! )" enddef

define value of compile-test05 ( x , y ) as z end define

lgcdef lgccharge of compile-test05 ( lgcvar , lgcvar ) as "0" enddef

compile-test06 ( " , " )

Index 25 of page test

lgcdef lgcname of compile-test06 ( lgcvar , lgcvar ) as "compile-test06 ( ""! , ""! )" enddef

define value of compile-test06 ( x , x ) as x end define

lgcdef lgccharge of compile-test06 ( lgcvar , lgcvar ) as "0" enddef

compile-test07

Index 26 of page test

lgcdef lgcname of compile-test07 as "compile-test07" enddef

define value of compile-test07 as "abc" end define

lgcdef lgccharge of compile-test07 as "0" enddef

compile-test08

Index 27 of page test

lgcdef lgcname of compile-test08 as "compile-test08" enddef

define value of compile-test08 as test end define

lgcdef lgccharge of compile-test08 as "0" enddef

compile-test09

Index 28 of page test

lgcdef lgcname of compile-test09 as "compile-test09" enddef

define value of compile-test09 as base end define

lgcdef lgccharge of compile-test09 as "0" enddef

compile-test10 ( " , " )

Index 29 of page test

lgcdef lgcname of compile-test10 ( lgcvar , lgcvar ) as "compile-test10 ( ""! , ""! )" enddef

define value of compile-test10 ( u , v ) as \ x . \ y . u end define

lgcdef lgccharge of compile-test10 ( lgcvar , lgcvar ) as "0" enddef

compile-test11 ( " , " )

Index 30 of page test

lgcdef lgcname of compile-test11 ( lgcvar , lgcvar ) as "compile-test11 ( ""! , ""! )" enddef

define value of compile-test11 ( u , v ) as \ x . \ y . v end define

lgcdef lgccharge of compile-test11 ( lgcvar , lgcvar ) as "0" enddef

compile-test12 ( " , " )

Index 31 of page test

lgcdef lgcname of compile-test12 ( lgcvar , lgcvar ) as "compile-test12 ( ""! , ""! )" enddef

define value of compile-test12 ( u , v ) as \ x . \ y . x end define

lgcdef lgccharge of compile-test12 ( lgcvar , lgcvar ) as "0" enddef

compile-test13 ( " , " )

Index 32 of page test

lgcdef lgcname of compile-test13 ( lgcvar , lgcvar ) as "compile-test13 ( ""! , ""! )" enddef

define value of compile-test13 ( u , v ) as \ x . \ y . y end define

lgcdef lgccharge of compile-test13 ( lgcvar , lgcvar ) as "0" enddef

compile-test14

Index 33 of page test

lgcdef lgcname of compile-test14 as "compile-test14" enddef

define value of compile-test14 as Base end define

lgcdef lgccharge of compile-test14 as "0" enddef

compile-test15 ( " , " )

Index 34 of page test

lgcdef lgcname of compile-test15 ( lgcvar , lgcvar ) as "compile-test15 ( ""! , ""! )" enddef

define value of compile-test15 ( Base , x ) as Base end define

lgcdef lgccharge of compile-test15 ( lgcvar , lgcvar ) as "0" enddef

compile-test16 ( " , " )

Index 35 of page test

lgcdef lgcname of compile-test16 ( lgcvar , lgcvar ) as "compile-test16 ( ""! , ""! )" enddef

define value of compile-test16 ( Base , x ) as x end define

lgcdef lgccharge of compile-test16 ( lgcvar , lgcvar ) as "0" enddef

compile-test17

Index 36 of page test

lgcdef lgcname of compile-test17 as "compile-test17" enddef

define value of compile-test17 as %% %1 %2 %3 end define

lgcdef lgccharge of compile-test17 as "0" enddef

compile-test18

Index 37 of page test

lgcdef lgcname of compile-test18 as "compile-test18" enddef

define value of compile-test18 as %% %1 %2 %3 - [%% %2 %3] end define

lgcdef lgccharge of compile-test18 as "0" enddef

compile-test19 ( " , " )

Index 38 of page test

lgcdef lgcname of compile-test19 ( lgcvar , lgcvar ) as "compile-test19 ( ""! , ""! )" enddef

define value of compile-test19 ( x , y ) as if x then y else compile-test19 ( x tail , x head :: y ) end define

lgcdef lgccharge of compile-test19 ( lgcvar , lgcvar ) as "0" enddef

Charges

0

base
check
test
tt
tf
ta
tb
tc
td
tx
ty
tz
tm
to
tO
compiled-base
compiled-test
get-base0 ( " )
get-base1 ( " )
get-test0 ( " )
get-test1 ( " )
compile-test00
compile-test01 ( " )
compile-test02 ( " )
compile-test03 ( " , " )
compile-test04 ( " , " )
compile-test05 ( " , " )
compile-test06 ( " , " )
compile-test07
compile-test08
compile-test09
compile-test10 ( " , " )
compile-test11 ( " , " )
compile-test12 ( " , " )
compile-test13 ( " , " )
compile-test14
compile-test15 ( " , " )
compile-test16 ( " , " )
compile-test17
compile-test18
compile-test19 ( " , " )

2

+"

4

" factorial
"#

6

" ' "

8

- "

10

" Times "

12

" Plus "
" set+ "

14

PlusTag "

16

" div "

17

" LazyPair "

19

" ,, "

20

" = "
" member "

22

Not "
p.not "

24

" And "

26

" Or "

29

" Iff "
" p.imply "

30

" Select " else " end select

32

\ " . "
metadeclare "

33

norm "

34

" reduce to "

38

" Init

40

" at "

41

" infer "

42

All " : "

43

" oplus "

44

" conclude "

45

line " : " >> " ; "

47

" ;; "

48

" proves "

49

axiom " : " end axiom

50

" endline

51

" lgcthen "
dbug ( " ) "

52

" linebreak "

54

" & "

56

" \\ "

The Logiweb compiler (lgc) GRD-2009-11-28.UTC:11:18:23.621142