drwxr-xr-x   3 edrx edrx    4096 Oct 21  2019 ./
drwxr-xr-x 323 edrx edrx   40960 Feb 19 04:21 ../
-rw-r--r--   1 edrx edrx    3585 Dec 23  2020 HAJ.idr
-rw-r--r--   1 edrx edrx    6262 Feb 19 04:18 HAJ.idr.html
-rw-r--r--   2 edrx edrx     487 Oct 21  2019 Hello.idr
-rw-r--r--   1 edrx edrx    6808 Feb 22  2020 Logic.idr
-rw-r--r--   1 edrx edrx   10833 Feb 19 04:18 Logic.idr.html
-rw-r--r--   1 edrx edrx    4222 Feb 22  2020 Protocats.idr
-rw-r--r--   1 edrx edrx    5433 Feb 19 04:18 Protocats.idr.html
-rw-r--r--   2 edrx edrx    3565 Oct 21  2019 Representation.lidr
-rw-r--r--   1 edrx edrx   14076 Sep 10  2020 Tut.idr
-rw-r--r--   1 edrx edrx   22236 Feb 19 04:18 Tut.idr.html
-rw-r--r--   2 edrx edrx    1317 Oct 21  2019 Yoneda.idr
drwxr-xr-x   3 edrx edrx    4096 Feb 19 04:18 brady/
-rw-r--r--   2 edrx edrx 1320397 Oct 21  2019 idris-documentation-complete.pdf