Post AmOrrQxtWx8Sh7LPc0 by jesper@agda.club
 (DIR) More posts by jesper@agda.club
 (DIR) Post #AmOrrQxtWx8Sh7LPc0 by jesper@agda.club
       2024-09-26T15:43:34.496940Z
       
       1 likes, 0 repeats
       
       This is a graph of the number of newly opened and closed issues on the Agda Github page since 2015 (created by Andreas Abel). Of course, it says nothing about the severity of these issues, but it still shows a general trend.The good news: lots of issues are getting closed.The bad news: the number of open issues seems to increase linearly over time.#Agda #Github