:- module nat_main.

:- interface.

:- import_module io.

:- pred main(io::di, io::uo) is det.

:- implementation.

:- import_module nat_curry.

main(!IO) :-
    A = s(s(z)),
    B = s(z),
    nat_add(A, B, C),
    print(C, !IO),
    nl(!IO).
