aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable
Commit message (Expand)AuthorAgeFilesLines
* Introduce a new (and hopefully better) ports infrastructure for Haskell Cabalpgj2010-05-131-56/+5
* Switch to use newer GMP version.ale2010-04-191-1/+2
* This package provides a command-line program for type-checking andpgj2010-01-044-0/+87