Logiweb(TM)

Logiweb source of my page

Up Help

PAGE my page
BIBLIOGRAPHY
"check" "http:../../../page/check/latest/vector/page.lgw".
"base" "http:../../../page/base/latest/vector/page.lgw".

PREASSOCIATIVE
"check" check
"base" base
"" append ( " , " )

PREASSOCIATIVE
"base" +"

PREASSOCIATIVE
"check" "#
"base" " factorial

PREASSOCIATIVE
"base" " ' "

PREASSOCIATIVE
"base" - "

PREASSOCIATIVE
"base" " Times "

PREASSOCIATIVE
"check" " set+ "
"base" " Plus "

PREASSOCIATIVE
"base" PlusTag "

PREASSOCIATIVE
"base" " div "

POSTASSOCIATIVE
"base" " LazyPair "

POSTASSOCIATIVE
"base" " ,, "

PREASSOCIATIVE
"check" " member "
"base" " = "

PREASSOCIATIVE
"check" p.not "
"base" Not "

PREASSOCIATIVE
"base" " And "

PREASSOCIATIVE
"base" " Or "

POSTASSOCIATIVE
"check" " p.imply "
"base" " Iff "

PREASSOCIATIVE
"base" " Select " else " end select

PREASSOCIATIVE
"check" metadeclare "
"base" \ " . "

POSTASSOCIATIVE
"base" norm "

PREASSOCIATIVE
"base" " reduce to "

PREASSOCIATIVE
"check" " Init

PREASSOCIATIVE
"check" " at "

POSTASSOCIATIVE
"check" " infer "

PREASSOCIATIVE
"check" All " : "

POSTASSOCIATIVE
"check" " oplus "

PREASSOCIATIVE
"check" " conclude "

POSTASSOCIATIVE
"check" line " : " >> " ; "

POSTASSOCIATIVE
"check" " ;; "

PREASSOCIATIVE
"check" " proves "

POSTASSOCIATIVE
"check" axiom " : " end axiom

POSTASSOCIATIVE
"check" dbug ( " ) "
"base" ","

PREASSOCIATIVE
"base" " linebreak "

PREASSOCIATIVE
"base" " & "

PREASSOCIATIVE
"base" " \\ "


BODY
page ( Pyk , Priority )
title "MY PAGE"
bib "
@techreport{REFERENCE,
author = {AUTHOR},
year = {YEAR},
title = {TITLE},
institution={INSTITUTION}}
"
main text "
\section{Append}

We define the ``append'' function thus:

\begin{statements}

\item "[[ eager define append ( x , y ) as newline
if x atom then y else newline
x head :: append ( x tail , y ) end define ]]".

\item "[[ ttst timer ( "abc" ) .then. print ( append ( << 1 ,, 2 ,, 3 >> , << 4 ,, 5 ,, 6 >> ) ) .then. timer ( true ) .then. true end test ]]"

\end{statements}
"
appendix "
MY APPENDIX
"
end page

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-12-28.UTC:22:39:12.400024 = MJD-54462.TAI:22:39:45.400024 = LGT-4705598385400024e-6