You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
Module SyntaxError.
|
|
|
|
|
|
Fixpoint evenb (n:nat) : bool :=
|
|
|
match n with
|
|
|
| O => true
|
|
|
S O => false
|
|
|
| S (S n') => evenb n'
|
|
|
end.
|
|
|
|
|
|
End SyntaxError.
|
