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