WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Home

Jump to bottom Edit New page
Jacques Carette edited this page Oct 10, 2025 · 6 revisions

Welcome to the agda-stdlib wiki!

What this will evolve into, who knows. In the meantime, it's a dumping ground for future projects that would just clutter up the issues with things that won't be closed in years.

Potential Projects:

Things to discuss at maintainer's meetings

Breadcrumbs to material regarding design

Add a custom footer
Add a custom sidebar

Clone this wiki locally