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-06-10 21:37:37 +0000