drwxr-xr-x   3 edrx edrx    4096 Oct 21  2019 ./
drwxr-xr-x 315 edrx edrx   45056 Apr 21 02:09 ../
-rw-r--r--   1 edrx edrx    3585 Dec 23  2020 HAJ.idr
-rw-r--r--   1 edrx edrx    6262 Apr 21 02:05 HAJ.idr.html
-rw-r--r--   2 edrx edrx     487 Oct 21  2019 Hello.idr
-rw-r--r--   1 edrx edrx    6808 Feb 21  2020 Logic.idr
-rw-r--r--   1 edrx edrx   10833 Apr 21 02:05 Logic.idr.html
-rw-r--r--   1 edrx edrx    4222 Feb 21  2020 Protocats.idr
-rw-r--r--   1 edrx edrx    5433 Apr 21 02:05 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 Apr 21 02:05 Tut.idr.html
-rw-r--r--   2 edrx edrx    1317 Oct 21  2019 Yoneda.idr
drwxr-xr-x   3 edrx edrx    4096 Apr 21 02:04 brady/
-rw-r--r--   2 edrx edrx 1320397 Oct 21  2019 idris-documentation-complete.pdf