Rare find

nonempty-collections. Correct-by-construction non-empty collections.

github.com/fosskers/nonempty-collections
by @fosskers

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.