The Coq mailing list

[mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>]

Hi Djamila,

You can see the definition of Fixpoint[1]. For most function definitions over numbers, pure pattern matching is not enough: we also need recursion. For example, to check that a number n is even, we may need to recursively check whether n-2 is even. To write such functions, we use the keyword Fixpoint.

-Mukesh Tiwari

[1] http://www.cis.upenn.edu/~bcpierce/sf/Basics.html

On Mon, Oct 21, 2013 at 1:26 AM, Djamila Baroudi <baroudi.d7 AT gmail.com> wrote:

Hello,

what's means fixepoint and when can i use it?

thank you

--

Mlle Djamila Baroudi                           

Faculté des Sciences Exactes et Informatique,        

Université de Mostaganem,

27000 Mostaganem, Algérie.