Welcome to agda-stdlib Discussions!

[JacquesCarette]

👋 Welcome!

We’re using Discussions as a place to have design discussion. They are for longer term items that take a higher-level view than one usually gets when worrying about single issues or PRs.

There is likely to be some archeological work as well: digging up old design discussions from where it is currently buried and re-surfaced here. And indeed, some issues may become discussions.

[jamesmckinna]

Thanks for taking the prompt @JacquesCarette !