Suggest an alternative to

subzero

Types to support turning structured collections of seed values into the same structures with alternatives along with some functions for regular uses

Why do you think that https://github.com/agda/agda is a good alternative to subzero

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with subzero. Optional.

A valid email to send you a verification link when necessary or log in.