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