Issues
Search results
- Status: Open.#2379 In agda/agda-stdlib;
- Status: Open.#2213 In agda/agda-stdlib;
- Status: Open.#1892 In agda/agda-stdlib;
- Status: Open.#1825 In agda/agda-stdlib; ·v3.0
- Status: Open.#1815 In agda/agda-stdlib;
- Status: Open.#1587 In agda/agda-stdlib;
- Status: Open.#1388 In agda/agda-stdlib; ·Agda-future
- Status: Open.#1380 In agda/agda-stdlib;
- Status: Open.#1280 In agda/agda-stdlib;
- Status: Open.#595 In agda/agda-stdlib;