[Agda-dev] GHC ticket stats
Andreas Abel
abela at chalmers.se
Fri Jun 12 11:08:15 CEST 2015
Would be nice to get this for Agda as well with a single click:
http://ghc.haskell.org/trac/ghc//ticketstats?content=render&start_date=12/14/03&end_date=06/12/15&resolution=360&component=__all&milestone=__all
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda-dev
mailing list