Search results

Deploy doc rendering for v2.1

admin

continuous-integration

release

Status: Open.

#2452 In agda/agda-stdlib;

· andreasabel opened on Aug 1, 2024

 ·  

v2.3

A distribution tarball beyond github's autogenerated one?

admin

Status: Open.

#2305 In agda/agda-stdlib;

· andreasabel opened on Feb 29, 2024

CI check for changelog markdown syntax

admin

Status: Open.

#2289 In agda/agda-stdlib;

· Taneb opened on Feb 10, 2024

Standardise names for qualified module imports

admin

cosmetic

library-design

task

Status: Open.

#2280 In agda/agda-stdlib;

· jamesmckinna opened on Feb 6, 2024

Streamlining the <code>make test</code>/CI infrastructure?

admin

continuous-integration

discussion

Status: Open.

#2248 In agda/agda-stdlib;

· jamesmckinna opened on Jan 4, 2024

JOSS submission?

admin

Status: Open.

#1833 In agda/agda-stdlib;

· gallais opened on Sep 28, 2022

Support GHC 9.4

admin

Status: Open.

#1829 In agda/agda-stdlib;

· nad opened on Sep 20, 2022

Things to add to the style guide

admin

cosmetic

low-hanging-fruit

Status: Open.

#1018 In agda/agda-stdlib;

· MatthewDaggitt opened on Dec 23, 2019

Consider cleaning the gh-pages branch up constantly

admin

continuous-integration

Status: Open.

#874 In agda/agda-stdlib;

· ice1000 opened on Aug 31, 2019