../ LICENSE 22-Mar-2024 18:47 19K Makefile 07-Apr-2024 06:14 1001 ProvideSemanticEnv.tex 25-Mar-2024 09:56 284 README.md 08-Apr-2024 15:42 1486 didactic.dtx 08-Apr-2024 20:14 42K didactic.ins 07-Apr-2024 06:18 2143 didactic.pdf 08-Apr-2024 20:15 262K hello.py 22-Mar-2024 18:47 119 idea.tex 22-Mar-2024 18:47 200 lightblock.tex 22-Mar-2024 18:47 70