6 lines
62 B
Coq
6 lines
62 B
Coq
|
[fib
|
||
|
|
[small?] []
|
||
|
|
[pred dup pred]
|
||
|
|
[+]
|
||
|
|
binrec].
|