triangle n = int.eq? n 1
        1
        (int.add
            n
            (triangle (int.sub n 1)));

triangle 500;

# factorial n =
#     int.eq? n 0
#         1
#         (int.mul n (factorial (int.sub n 1)));

# factorial 20;