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