search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
185 stars 39 forks source link

Navigation structure #3

Closed th closed 2 years ago

th commented 2 years ago

index.rst:

Rethink when things have settled down: structure apparent to reader in sidebar is "Learn", "Examples" and "Reference", where "Core" and "Topics" are under "Learn" today.

You said: "That's intentional, though it may be a bad idea"

I reply: I really think it's a bad idea :-)

hwayne commented 2 years ago

Why do you think it's a bad idea?

hwayne commented 2 years ago

Feel free to reopen with your response!