nextuppreviouscontents
Next:Notations. Up:The Proof checker Documentation Previous:An example in analysis   Contents


Expressions, parsing and pretty printing.

This chapter describes the syntax of . It is possible to use without a precise knowledge of the syntax, but for the best use, it is better to read this chapter ... But as any formal definition of a complex syntax, this is hard to read. Therefore, if it is the first time you read BNF-like syntactic rules, you will have problem to understand this chapter.

The layout of this chapter is inspired by the documentation of Caml-light (by Xavier Leroy).



Subsections

Christophe Raffalli 2005-03-02