Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE | 19102 | logplain |
-rw-r--r-- | ProvideSemanticEnv.tex | 284 | logplain |
-rw-r--r-- | README.md | 1486 | logplain |
-rw-r--r-- | didactic.pdf | 268125 | logplain |
-rw-r--r-- | hello.py | 119 | logplain |
-rw-r--r-- | idea.tex | 200 | logplain |
-rw-r--r-- | lightblock.tex | 70 | logplain |