NOTE: agda configuration example

~/.agda/defaults

standard-library

~/.agda/libraries

~/.agda/agda-stdlib/standard-library.agda-lib
~/.agda/cubical/cubical.agda-lib
~/.agda/agda-categories/agda-categories.agda-lib