2 lines
68 B
Coq
2 lines
68 B
Coq
|
[check [N X F : [[integer?] [[X % zero?] [N F cons] if] if]] view].
|