drwxr-xr-x   2 edrx edrx   4096 May 27 14:40 ./
drwxr-xr-x 315 edrx edrx  36864 May 27 14:41 ../
-rw-r--r--   1 edrx edrx  34025 May 13  2024 2020-find-here-links.lua
-rw-r--r--   1 edrx edrx 100644 May 27 14:40 2020-find-here-links.lua.html
-rw-r--r--   1 edrx edrx  18999 Dec 30 04:07 2020-list-packages-eev-nav.lua
-rw-r--r--   1 edrx edrx  57331 May 27 14:40 2020-list-packages-eev-nav.lua.html
-rw-r--r--   1 edrx edrx  43496 Dec 30 04:18 2020-some-template-based.lua
-rw-r--r--   1 edrx edrx 129403 May 27 14:40 2020-some-template-based.lua.html
-rw-r--r--   1 edrx edrx  37442 Dec 15 22:45 2021-1-C2-somas-1-dicas.lua
-rw-r--r--   1 edrx edrx 104226 May 27 14:40 2021-1-C2-somas-1-dicas.lua.html
-rw-r--r--   1 edrx edrx  24285 Mar  6  2023 2021-1-C3-curvas-de-nivel-2.lua
-rw-r--r--   1 edrx edrx  70300 May 27 14:40 2021-1-C3-curvas-de-nivel-2.lua.html
-rw-r--r--   1 edrx edrx  13755 Mar  4  2023 2021-1-C3-curvas-de-nivel.lua
-rw-r--r--   1 edrx edrx  40431 May 27 14:40 2021-1-C3-curvas-de-nivel.lua.html
-rw-r--r--   1 edrx edrx  21780 Mar  2  2023 2021-2-c3-cabos-na-diagonal.lua
-rw-r--r--   1 edrx edrx  66798 May 27 14:40 2021-2-c3-cabos-na-diagonal.lua.html
-rw-r--r--   1 edrx edrx 102016 Dec 30 04:33 2021-ffll.lua
-rw-r--r--   1 edrx edrx 325913 May 27 14:40 2021-ffll.lua.html
-rw-r--r--   1 edrx edrx  25095 Mar  5  2024 2021-oficina-1.lua
-rw-r--r--   1 edrx edrx  70066 May 27 14:40 2021-oficina-1.lua.html
-rw-r--r--   1 edrx edrx  27675 Oct 13  2024 2021-org-for-non-users.lua
-rw-r--r--   1 edrx edrx  77082 May 27 14:40 2021-org-for-non-users.lua.html
-rw-r--r--   1 edrx edrx   6372 Jan 28  2023 2021-workshop-1.lua
-rw-r--r--   1 edrx edrx  18672 May 27 14:40 2021-workshop-1.lua.html
-rw-r--r--   1 edrx edrx   8239 Jan 28  2023 2021-workshop-2.lua
-rw-r--r--   1 edrx edrx  23950 May 27 14:40 2021-workshop-2.lua.html
-rw-r--r--   1 edrx edrx  27615 Jan 28  2023 2021-workshop-3.lua
-rw-r--r--   1 edrx edrx  79261 May 27 14:40 2021-workshop-3.lua.html
-rw-r--r--   1 edrx edrx  10881 Jan 28  2023 2021-workshop-4.lua
-rw-r--r--   1 edrx edrx  31438 May 27 14:40 2021-workshop-4.lua.html
-rw-r--r--   1 edrx edrx  15839 Jan 28  2023 2021-workshop-5.lua
-rw-r--r--   1 edrx edrx  45459 May 27 14:40 2021-workshop-5.lua.html
-rw-r--r--   1 edrx edrx  15624 Jan 28  2023 2021-workshop-6.lua
-rw-r--r--   1 edrx edrx  45222 May 27 14:40 2021-workshop-6.lua.html
-rw-r--r--   1 edrx edrx  93613 Dec 20 00:56 2021aulas-por-telegram.lua
-rw-r--r--   1 edrx edrx 264835 May 27 14:40 2021aulas-por-telegram.lua.html
-rw-r--r--   1 edrx edrx  11278 Dec 30 04:34 2022-eev-make-0.lua
-rw-r--r--   1 edrx edrx  31689 May 27 14:40 2022-eev-make-0.lua.html
-rw-r--r--   1 edrx edrx 104890 Feb 25  2024 2022-eev-tikz.lua
-rw-r--r--   1 edrx edrx 320746 May 27 14:40 2022-eev-tikz.lua.html
-rw-r--r--   1 edrx edrx 102522 Dec  1  2023 2022-eev-wconfig.lua
-rw-r--r--   1 edrx edrx 296223 May 27 14:40 2022-eev-wconfig.lua.html
-rw-r--r--   1 edrx edrx  26830 Dec 30 04:41 2022-find-eev-angg.lua
-rw-r--r--   1 edrx edrx  75188 May 27 14:40 2022-find-eev-angg.lua.html
-rw-r--r--   1 edrx edrx  32805 Dec 30 04:50 2022-find-elisp-intro.lua
-rw-r--r--   1 edrx edrx  89506 May 27 14:40 2022-find-elisp-intro.lua.html
-rw-r--r--   1 edrx edrx  14892 Dec 30 04:56 2022-pict2e-lua.lua
-rw-r--r--   1 edrx edrx  42768 May 27 14:40 2022-pict2e-lua.lua.html
-rw-r--r--   1 edrx edrx  39858 Apr  9  2023 2022-yttranscript.lua
-rw-r--r--   1 edrx edrx 111913 May 27 14:40 2022-yttranscript.lua.html
-rw-r--r--   1 edrx edrx  54527 May  6 02:55 2022etel.lua
-rw-r--r--   1 edrx edrx  59065 May 27 14:40 2022etel.lua.html
-rw-r--r--   1 edrx edrx  20349 Mar  8  2023 2023-caepro-VR.lua
-rw-r--r--   1 edrx edrx  63107 May 27 14:40 2023-caepro-VR.lua.html
-rw-r--r--   1 edrx edrx  22834 May  8  2023 2023-caepro-o-que-sobra.lua
-rw-r--r--   1 edrx edrx  69476 May 27 14:40 2023-caepro-o-que-sobra.lua.html
-rw-r--r--   1 edrx edrx  15445 Mar  8  2023 2023-caepro0.lua
-rw-r--r--   1 edrx edrx  47508 May 27 14:40 2023-caepro0.lua.html
-rw-r--r--   1 edrx edrx 169842 Dec 30 05:08 2023-precisamos-de-mais-slogans.lua
-rw-r--r--   1 edrx edrx 476183 May 27 14:40 2023-precisamos-de-mais-slogans.lua.html
-rw-r--r--   1 edrx edrx 102710 Mar 21 00:31 2023-visual-vs-auditivo.lua
-rw-r--r--   1 edrx edrx 107491 May 27 14:40 2023-visual-vs-auditivo.lua.html
-rw-r--r--   1 edrx edrx 123287 May  9 12:48 2023eduardo.lua
-rw-r--r--   1 edrx edrx 127996 May 27 14:40 2023eduardo.lua.html
-rw-r--r--   1 edrx edrx  44296 May 20 03:39 2023etel.lua
-rw-r--r--   1 edrx edrx  49143 May 27 14:40 2023etel.lua.html
-rw-r--r--   1 edrx edrx  67145 Mar  9  2023 2023mar07_didatica_ensaio.lua
-rw-r--r--   1 edrx edrx  71731 May 27 14:40 2023mar07_didatica_ensaio.lua.html
-rw-r--r--   1 edrx edrx  68208 May 20 15:15 2023mateus.lua
-rw-r--r--   1 edrx edrx  72695 May 27 14:40 2023mateus.lua.html
-rw-r--r--   1 edrx edrx 109845 Apr 13 02:07 2023rcnjulho.lua
-rw-r--r--   1 edrx edrx 114244 May 27 14:40 2023rcnjulho.lua.html
-rw-r--r--   1 edrx edrx  20543 Aug  4  2024 2024-algumas-perguntas.lua
-rw-r--r--   1 edrx edrx  56129 May 27 14:40 2024-algumas-perguntas.lua.html
-rw-r--r--   1 edrx edrx  12467 Dec 30 05:12 2024-bash-test-blocks.lua
-rw-r--r--   1 edrx edrx  34563 May 27 14:40 2024-bash-test-blocks.lua.html
-rw-r--r--   1 edrx edrx  37799 Apr 20 21:11 2024-convite-maxima.lua
-rw-r--r--   1 edrx edrx 104302 May 27 14:40 2024-convite-maxima.lua.html
-rw-r--r--   1 edrx edrx  42235 Feb 10  2024 2024-eev-git.lua
-rw-r--r--   1 edrx edrx 125490 May 27 14:40 2024-eev-git.lua.html
-rw-r--r--   1 edrx edrx  20452 Jan 18  2024 2024-find-luaso-links.lua
-rw-r--r--   1 edrx edrx  58858 May 27 14:40 2024-find-luaso-links.lua.html
-rw-r--r--   1 edrx edrx  51887 Dec 18 23:56 2024-lean4-oficina-0-aula-2.lua
-rw-r--r--   1 edrx edrx 141632 May 27 14:40 2024-lean4-oficina-0-aula-2.lua.html
-rw-r--r--   1 edrx edrx  64001 Aug 10  2024 2024-lean4-oficina-0.lua
-rw-r--r--   1 edrx edrx 177983 May 27 14:40 2024-lean4-oficina-0.lua.html
-rw-r--r--   1 edrx edrx  82298 Nov 11  2024 2024-philosophy-tube-butler.lua
-rw-r--r--   1 edrx edrx  86763 May 27 14:40 2024-philosophy-tube-butler.lua.html
-rw-r--r--   1 edrx edrx  24287 Dec 31 23:53 2024-piano-roll-macros.lua
-rw-r--r--   1 edrx edrx  64886 May 27 14:40 2024-piano-roll-macros.lua.html
-rw-r--r--   1 edrx edrx   8873 Feb 22 02:21 2024-trying-eev-with-a-sexp.lua
-rw-r--r--   1 edrx edrx  23541 May 27 14:40 2024-trying-eev-with-a-sexp.lua.html
-rw-r--r--   1 edrx edrx 168882 Apr 10 15:16 2025-01-30-reuniao-rcn.lua
-rw-r--r--   1 edrx edrx 174742 May 27 14:40 2025-01-30-reuniao-rcn.lua.html
-rw-r--r--   1 edrx edrx 217123 Apr  5 19:03 2025-03-27-reuniao-rcn.lua
-rw-r--r--   1 edrx edrx 218497 May 27 14:40 2025-03-27-reuniao-rcn.lua.html
-rw-r--r--   1 edrx edrx  30648 Mar 21 05:25 2025-modern.lua
-rw-r--r--   1 edrx edrx  90841 May 27 14:40 2025-modern.lua.html
-rw-r--r--   1 edrx edrx  29368 Dec 30 05:18 emacsconf2019.lua
-rw-r--r--   1 edrx edrx  83627 May 27 14:40 emacsconf2019.lua.html
-rw-r--r--   1 edrx edrx  64565 Dec 31 02:35 emacsconf2020.lua
-rw-r--r--   1 edrx edrx 195357 May 27 14:40 emacsconf2020.lua.html
-rw-r--r--   1 edrx edrx  13318 Feb  4  2024 emacsconf2021-dednat6.lua
-rw-r--r--   1 edrx edrx  40097 May 27 14:40 emacsconf2021-dednat6.lua.html
-rw-r--r--   1 edrx edrx  11844 Dec 31 02:36 emacsconf2021.lua
-rw-r--r--   1 edrx edrx  35241 May 27 14:40 emacsconf2021.lua.html
-rw-r--r--   1 edrx edrx  13991 Feb  4  2024 emacsconf2022-kla.lua
-rw-r--r--   1 edrx edrx  40432 May 27 14:40 emacsconf2022-kla.lua.html
-rw-r--r--   1 edrx edrx  21171 Mar  9  2024 emacsconf2022-py.lua
-rw-r--r--   1 edrx edrx  62543 May 27 14:40 emacsconf2022-py.lua.html
-rw-r--r--   1 edrx edrx  31715 Mar  4  2024 emacsconf2023-repls-b.lua
-rw-r--r--   1 edrx edrx  87688 May 27 14:40 emacsconf2023-repls-b.lua.html
-rw-r--r--   1 edrx edrx  81893 Feb  4  2024 emacsconf2023-repls.lua
-rw-r--r--   1 edrx edrx 231409 May 27 14:40 emacsconf2023-repls.lua.html
-rw-r--r--   1 edrx edrx  45747 Dec 30 05:14 emacsconf2024.lua
-rw-r--r--   1 edrx edrx 133600 May 27 14:40 emacsconf2024.lua.html
-rw-r--r--   1 edrx edrx  43073 Mar 25 15:38 mathologer-calculus-easy.lua
-rw-r--r--   1 edrx edrx  92565 May 27 14:40 mathologer-calculus-easy.lua.html