aboutsummaryrefslogblamecommitdiff
path: root/math/hs-Agda/Makefile
blob: a8e4a7c2d14e41fe6f65de9716e3d5a8dbf16f46 (plain) (tree)
1
2
3
4
5
6
7
8
9