10 lines
193 B
Coq
10 lines
193 B
Coq
|
[fizzbuzz
|
||
|
|
1 [>=] [
|
||
|
|
[[15 % zero?] ['fizzbuzz' puts]
|
||
|
|
[5 % zero?] ['buzz' puts]
|
||
|
|
[3 % zero?] ['fizz' puts]
|
||
|
|
[true] [dup puts]
|
||
|
|
] when succ
|
||
|
|
] while].
|
||
|
|
|100 fizzbuzz
|