Generated: Wednesday, June 16, 2010, 14:00:39 A SchemeDoc Manual

Tutorial Manual - An Example

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

This is just an example of a manual adapted from an existing LAML example, and part of the LAML tutorial.

Table of Contents:
1. Introduction

Alphabetic index:
f (f a b) Description of f
g (g) Description of g


1 Introduction
This is an introduction. Usually it is very brief.

f
Form (f a b)
Description Description of f
Precondition What to ensure before f is called
Parameters a Explanation of a
b Explanation of b
Returns Description of the value returned by f
Postcondition What holds after f is called
See also similar function g

g
Form (g)
Description Description of g
Precondition What to ensure before g is called
See also context LAML tutorial
similar function f

Generated: Wednesday, June 16, 2010, 14:00:39
Generated by LAML SchemeDoc using LAML Version 36.1 (June 16, 2010, full)