[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