Next | Query returned 2 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2014-08-29 16:09:59 by Ryosuke Moro | Files touched by this commit (104)
Log message:
make it clear what package depend on

discussed with wiz@.
   2011-12-21 16:31:47 by PHO / phonohawk | Files touched by this commit (5) | Imported package
Log message:
Import hs-dependent-sum-0.2.0.1 as wip/hs-dependent-sum.

Dependent sums and supporting typeclasses for comparing and formatting
them.

Next | Query returned 2 messages, browsing 1 to 10 | previous