You are viewing a single comment's thread. Return to all comments →
read_line works as well, but of course you have to manually call int_of_string on the inputs
Seems like cookies are disabled on this browser, please enable them to open this website
Functions or Not?
You are viewing a single comment's thread. Return to all comments →
read_line works as well, but of course you have to manually call int_of_string on the inputs