morbig icon indicating copy to clipboard operation
morbig copied to clipboard
verified publisher icon colis-anr

Fix `List.bd_tl` test that is too permissive

Open Niols opened this issue 2 years ago • 0 comments 

          Size 1 here would be sufficient, actually.

Originally posted by @Niols in https://github.com/colis-anr/morbig/pull/164#discussion_r1218128966

Niols avatar Jun 05 '23 14:06 Niols