Introduction

This purpose of this chapter is to provide a complete and consistent definition of the FunnelWeb input language and the behaviour of the FunnelWeb program. Usually, a chapter such as this is called a reference manual, but this chapter is intended to go further by actually defining the language and program. This chapter takes precedence over all other chapters and all implementations of FunnelWeb. If an implementation contradicts this chapter, then the implementation is wrong.

This is the chapter that you should turn if you find yourself asking a specific question about a specific aspect of FunnelWeb. In many cases it will be convenient to access this chapter through the index.