mirror of https://git.sr.ht/~rabbits/modal
9 lines
375 B
Plaintext
9 lines
375 B
Plaintext
<> (fizzbuzz ?x ?x) (done.)
|
|
<> (?x Int 0 Int 0 test) (?(?: ?:) (Fizz Buzz\n))
|
|
<> (?x Int 0 Int ?z test) (?(?: ?:) Fizz\n)
|
|
<> (?x Int ?y Int 0 test) (?(?: ?:) Buzz\n)
|
|
<> (?x Int ?y Int ?z test) (?(?: ?:) (?x \n))
|
|
<> (?x eval) (?x ?((?0 ?1 ?:) (Int ?:)) ?x 3 % ?((?0 ?1 ?:) (Int ?:)) ?x 5 % test)
|
|
<> (fizzbuzz ?x ?y) (?x eval fizzbuzz ?((?0 ?1 ?:) ?:) ?x 1 + ?y)
|
|
|
|
fizzbuzz 1 30 |