aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2pgj2012-12-201-1/+1
* - Update to 2.3.0.1pgj2012-06-041-3/+3
* This package provides a command-line program for type-checking andpgj2010-01-041-0/+5