Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
LICENSE | 2024-03-22 19:47 | 19K | ||
hello.py | 2024-03-22 19:47 | 119 | ||
idea.tex | 2024-03-22 19:47 | 200 | ||
lightblock.tex | 2024-03-22 19:47 | 70 | ||
ProvideSemanticEnv.tex | 2024-03-25 10:56 | 284 | ||
Makefile | 2024-04-07 08:14 | 1.0K | ||
didactic.ins | 2024-04-07 08:18 | 2.1K | ||
didactic.dtx | 2024-04-08 22:14 | 42K | ||
didactic.pdf | 2024-04-08 22:15 | 262K | ||