doc: organize chapters into parts, and reduce toc depth
Reorganize the chapters into parts and reduce the TOC depth to make the TOC useful again. The top-level TOC is very brief, but that is fine because every part will have its own TOC. Section titles of languages/frameworks are also simplified to just the name of the language/framework.
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
# Idris packages
|
||||
# Idris
|
||||
|
||||
## Installing Idris
|
||||
|
||||
|
||||
Reference in New Issue
Block a user