Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el
blob: 62264a4451a015676bef96bca48493e5bdf2b8db (plain) 
1

(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))