| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| LICENSE | 18.7 KiB | 2024-03-23 04:47:55 UTC+09:00 |
| idea.tex | 200 B | 2024-03-23 04:47:55 UTC+09:00 |
| lightblock.tex | 70 B | 2024-03-23 04:47:55 UTC+09:00 |
| hello.py | 119 B | 2024-03-23 04:47:55 UTC+09:00 |
| ProvideSemanticEnv.tex | 284 B | 2024-03-25 19:56:43 UTC+09:00 |
| Makefile | 1001 B | 2024-04-07 16:14:53 UTC+09:00 |
| didactic.ins | 2.1 KiB | 2024-04-07 16:18:48 UTC+09:00 |
| didactic.dtx | 41.9 KiB | 2024-04-09 06:14:08 UTC+09:00 |
| didactic.pdf | 261.8 KiB | 2024-04-09 06:15:30 UTC+09:00 |