drwxr-xr-x   3 edrx edrx    4096 Oct 21  2019 ./
drwxr-xr-x 323 edrx edrx   49152 Apr  9 22:22 ../
-rw-r--r--   1 edrx edrx    3585 Dec 23  2020 HAJ.idr
-rw-r--r--   1 edrx edrx    6262 Apr  9 22:19 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 Apr  9 22:19 Logic.idr.html
-rw-r--r--   1 edrx edrx    4222 Feb 22  2020 Protocats.idr
-rw-r--r--   1 edrx edrx    5433 Apr  9 22:19 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  9 22:19 Tut.idr.html
-rw-r--r--   2 edrx edrx    1317 Oct 21  2019 Yoneda.idr
drwxr-xr-x   3 edrx edrx    4096 Apr  9 22:19 brady/
-rw-r--r--   2 edrx edrx 1320397 Oct 21  2019 idris-documentation-complete.pdf