aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable/Makefile
Commit message (Expand)AuthorAgeFilesLines
* This package provides a command-line program for type-checking andpgj2010-01-041-0/+75