aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda/distinfo
Commit message (Expand)AuthorAgeFilesLines
* - Update to 2.3.0.1Gabor Pali2012-06-031-2/+2
* - Update to 2.3.0Gabor Pali2012-02-131-2/+2
* - Please welcome GHC 7.0.3Ashish SHUKLA2011-05-091-2/+2
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")Gabor Pali2010-08-081-3/+3
* Agda is a dependently typed functional programming language: It has inductiveGabor Pali2010-01-041-0/+3