Generated: August 27, 2003, 22:50:35Copyright ©2003, Kurt NørmarkThe local LAML software home page

Tutorial Manual - A Mixed Example

Kurt Nørmark ©    normark@cs.auc.dk    Department of Computer Science    Aalborg University    Denmark    

LAML Version 21.00 (August 27, 2003, PP edition)

This is just an example of a manual - adapted from an existing LAML example, and part of the LAML tutorial. The example shows how to mix an LAML manual style document with contributions extracted via SchemeDoc.

Table of Contents:
1. Introduction2. The fac and fib functions.3. A couple of higher order function.

Alphabetic index:
compose(compose f g)A higher order function that composes two functions.
f(f a b)Description of function f - a function described in a manual-page
fac(fac n)Calculate the factorial of n
fib(fib n)Calculated the fib function.
negate(negate p)A higher order functions which negates the predicate p.

 

1.   INTRODUCTION
This is an introduction, authored in a manual section.


f


Form
(f a b)

Description
Description of function f - a function described in a manual-page

Preconditions
What to ensure before f is called

Parameters
aExplanation of a
bExplanation of g

See also
similar functiong    

Note
What else to to say about f


 

2.   THE FAC AND FIB FUNCTIONS.
These functions are found in the source file prog4.scm. The manual stuff for these is done via SchemeDoc.


fac


Form
(fac n)

Description
Calculate the factorial of n


fib


Form
(fib n)

Description
Calculated the fib function. Notice that this is a very inefficient Implementation.


 

3.   A COUPLE OF HIGHER ORDER FUNCTION.
These functions are useful in many situations.


negate


Form
(negate p)

Description
A higher order functions which negates the predicate p. Negate accepts a predicate and returns the negated predicate.


compose


Form
(compose f g)

Description
A higher order function that composes two functions. Returns a function which applies f on g. Both f and g are supposed to take a single argument.


Generated: August 27, 2003, 22:50:35