WIP: Expanded documentation (inc. @gteege's manual)

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

WIP: Expanded documentation (inc. @gteege's manual) #334

Open jashank opened 4 years ago

jashank commented 4 years ago

this PR substantially expands the Cogent documentation. the result is in two parts:

An Introduction to Cogent, largely based on introductory text that already existed; and
Cogent Reference Manual, largely based on @gteege's manual converted to reStructuredText.

rendered preview: https://cogent--334.org.readthedocs.build/en/334/

jashank commented 4 years ago

I've split this PR into two parts --- the majority of the commits (but not the majority of the changes) come from what is now #338; this PR notionally depends on changes introduced there.