[Agda] debian agda popularity

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


Hi,

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:

http://qa.debian.org/popcon.php?package=agda

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 
url.)

Cheers,

Peter


More information about the Agda mailing list