Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-stdlib/files/standard-library.agda-lib
blob: 7cd8525ff7bd52d5d2a878c77d36a5a0ba9b5c6c (plain) 
1
2

name: standard-library
include: /usr/share/agda-stdlib