HeadacheでFizzBuzz

gistfile1.txt

let fizz_buzz : \n ->
   let fizz_buzz : \i -> \n -> 
      ( let m : ( + i 1 ) ->
         ( cond ( > i n ) ()
            ( cond ( = ( % i 15 ) 0 ) ( >>= ( puts "fizzbuzz" ) ( fizz_buzz m n ) )
            ( cond ( = ( % i  3 ) 0 ) ( >>= ( puts "fizz"     ) ( fizz_buzz m n ) )
            ( cond ( = ( % i  5 ) 0 ) ( >>= ( puts "buzz"     ) ( fizz_buzz m n ) )
            ( >>= ( puts i ) ( fizz_buzz m n ) ) ) ) ) ) ) -> fizz_buzz 1 n ;


let main : fizz_buzz 100 ;