This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |