[Agda] debian agda popularity

Peter Divianszky divipp at gmail.com
Fri Aug 23 21:33:28 CEST 2013


Maybe some of you are interested in this near off-topic info about the 
popularity of Agda measured by debian quality assurance.

There is a significant rise in the download statistics in the second 
quoter of 2013. (I have no explanation for the rise.)

You can see the graph here:


According to these statistics Agda is as popular now as Coq were in mid 
2008. (You can see the graph for Coq by replacing `agda` by `coq` in the 



More information about the Agda mailing list