aboutsummaryrefslogblamecommitdiff
path: root/math/hs-Agda/pkg-descr
blob: 5c70fb2cc8f031028038bad9551b4ec6794e9d30 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12