Agda package management.txt

04:29:12 ~ $ cd ~/.agda

04:29:15 .agda $ ls -al
total 48
drwxr-xr-x   8 mietek  staff   272 13 Jun 13:50 .
drwxr-xr-x+ 57 mietek  staff  1938 26 Aug 06:25 ..
-rw-r--r--@  1 mietek  staff    81  5 Jun 10:28 agda-nplib.agda-lib
-rw-r--r--@  1 mietek  staff    97  5 Jun 10:48 agda-parametricity.agda-lib
-rw-r--r--@  1 mietek  staff    64 13 Jun 13:50 agda-toolbox.agda-lib
-rw-r--r--@  1 mietek  staff    77 12 May 16:06 categories.agda-lib
-rw-r--r--@  1 mietek  staff    60 13 Jun 13:49 defaults
-rw-r--r--@  1 mietek  staff   217 13 Jun 13:50 libraries

04:29:16 .agda $ cat libraries 
/usr/local/lib/agda/standard-library.agda-lib
/Users/mietek/.agda/categories.agda-lib
/Users/mietek/.agda/agda-nplib.agda-lib
/Users/mietek/.agda/agda-parametricity.agda-lib
/Users/mietek/.agda/agda-toolbox.agda-lib

04:29:21 .agda $ cat defaults 
standard-library
agda-nplib
agda-parametricity
agda-toolbox

04:29:25 .agda $ cat categories.agda-lib 
name: categories
include: /Users/mietek/Documents/Projects/Clones/categories