../ LICENSE 23-Mar-2024 02:47 19102 Makefile 07-Apr-2024 14:14 1001 ProvideSemanticEnv.tex 25-Mar-2024 17:56 284 README.md 08-Apr-2024 23:42 1486 didactic.dtx 09-Apr-2024 04:14 42932 didactic.ins 07-Apr-2024 14:18 2143 didactic.pdf 09-Apr-2024 04:15 268125 hello.py 23-Mar-2024 02:47 119 idea.tex 23-Mar-2024 02:47 200 lightblock.tex 23-Mar-2024 02:47 70