File: syntax-error.v

package info (click to toggle)
flycheck 30-3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 4,172 kB
  • ctags: 1,544
  • sloc: lisp: 11,139; python: 733; makefile: 243; ruby: 23; cpp: 17; ada: 17; f90: 16; xml: 14; ansic: 12; haskell: 12; sh: 10; erlang: 10; php: 9; perl: 7; fortran: 3; sql: 1
file content (10 lines) | stat: -rw-r--r-- 167 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
Module SyntaxError.

  Fixpoint evenb (n:nat) : bool :=
    match n with
      | O => true
       S O => false
      | S (S n') => evenb n'
    end.

End SyntaxError.