aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda/pkg-message
Commit message (Expand)AuthorAgeFilesLines
* Agda is a dependently typed functional programming language: It has inductiveGabor Pali2010-01-041-0/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 11:20:43 +0000