Include the topic description in the README for some topics.
Chris Pressey
21 days ago
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the specification language TLA+ and its underlying logic._ _Wikipedia:_ [TLA+](https://en.wikipedia.org/wiki/TLA+)
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the Tandy TRS-80 computer system (in particular the CoCo), including its computer architecture, software and games available for it, and programming of it._
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works describing or showcasing particular technologies. (Constrast to the subject of technology in general.)_
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the study of term rewriting systems._ _Wikipedia:_ [Term Rewriting](https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems)
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the formal proving of theorems, and the mechanical implementation of such, especially (but not exclusively) as computer software._
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding theory of computation, meaning models of computation and the limits they counter. This includes computability theory, including decidable and undecidable problems, also known as the theory of recursive functions. Note that "big" classes such as primitive recursive functions are regarded as complexity topics rather than computability topics here._
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the study of properties of space, roughly speaking, independent of distance; the study of those properties that remain unchanged when continuously deformations are applied to the space._ _Wikipedia:_ [Topology](https://en.wikipedia.org/wiki/Topology)
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the study and practice of assigning types (collections of constraints) to values as part of informatically processing those values, for example in a computer program._
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
13 |
_Works regarding the formal study of types, primarily in its original meaning as a means to avoid paradoxes in logic, and secondarily as it is studied in the modern world to provide a theoretical basis for type systems in programming languages._
|
|
14 |
|
|
15 |
- - - -
|
| 13 | 16 |
|
| 14 | 17 |
### Web resources
|
| 15 | 18 |
|
| 54 | 54 |
topic_sections[topic] = section
|
| 55 | 55 |
|
| 56 | 56 |
if undescribed_topics:
|
| 57 | |
err = "the following topics have no description: {}".format(', '.join(undescribed_topics))
|
| 58 | |
print("WARNING: {}\n".format(err))
|
| 59 | |
raise ValueError(err)
|
|
57 |
raise ValueError(
|
|
58 |
"the following topics have no description: {}".format(', '.join(undescribed_topics))
|
|
59 |
)
|
| 60 | 60 |
|
| 61 | 61 |
c.check_entry_topics()
|
| 62 | 62 |
c.process_secondary_topics()
|
| 47 | 47 |
f.write("-" * len(title) + "\n")
|
| 48 | 48 |
f.write("\n{}\n".format(PUBLIC_DOMAIN_HEADER))
|
| 49 | 49 |
f.write("[(Up)](../../README.md#topics){}\n".format(see_also))
|
| 50 | |
f.write("""
|
|
50 |
if topic.startswith("T"): # bit of an A/B test
|
|
51 |
desc = "_{}_".format(topic_section["body"].strip().replace("\n", " "))
|
|
52 |
wikipedia = topic_section["properties"].get("wikipedia")
|
|
53 |
if wikipedia:
|
|
54 |
desc += " _Wikipedia:_ [{}]({})".format(title, wikipedia)
|
|
55 |
f.write("""
|
|
56 |
- - - -
|
|
57 |
|
|
58 |
{}
|
|
59 |
|
|
60 |
- - - -
|
|
61 |
""".format(desc))
|
|
62 |
else:
|
|
63 |
f.write("""
|
| 51 | 64 |
- - - -
|
| 52 | 65 |
|
| 53 | 66 |
""")
|