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