Add is empty function (#10) · Issues · algorithmique / lib_2021_malaspinas / stack