aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* - Update to 2.3.0pgj2012-02-131-1/+1
* Agda is a dependently typed functional programming language: It has inductivepgj2010-01-041-0/+13