extra credit Search 85,062 technologies ⌘K Download for Mac

nonempty-collections

Correct-by-construction non-empty collections.

cargo add nonempty-collections
↑↓ move ↵ open