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