18 lines
387 B
Plaintext
18 lines
387 B
Plaintext
:- module binary_digits.
|
|
:- interface.
|
|
|
|
:- import_module io.
|
|
:- pred main(io::di, io::uo) is det.
|
|
|
|
:- implementation.
|
|
:- import_module int, list, string.
|
|
|
|
main(!IO) :-
|
|
list.foldl(print_binary_digits, [5, 50, 9000], !IO).
|
|
|
|
:- pred print_binary_digits(int::in, io::di, io::uo) is det.
|
|
|
|
print_binary_digits(N, !IO) :-
|
|
io.write_string(int_to_base_string(N, 2), !IO),
|
|
io.nl(!IO).
|