Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

References for citations vs. further reading #1164

Open
fredrik-bakke opened this issue Aug 21, 2024 · 0 comments
Open

References for citations vs. further reading #1164

fredrik-bakke opened this issue Aug 21, 2024 · 0 comments
Labels
documentation Improvements or additions to documentation formatting

Comments

@fredrik-bakke
Copy link
Collaborator

fredrik-bakke commented Aug 21, 2024

I agree that the way we display/handle references is not the best way. It's probably a good idea to take some inspiration from $n$Lab. While they're probably not entirely consistent on how they organize references, we can shop a bit around and see what we like. For instance, at inaccessible cardinal (which is just the first page I stumbled upon) they use the references section both for citations and further reading, but they include short explanations for context and summary of the references.

In any case this is clearly outside the scope of this PR so I'll promote this thread to an issue.

Originally posted by @fredrik-bakke in #1160 (comment)

@fredrik-bakke fredrik-bakke added documentation Improvements or additions to documentation website formatting and removed website labels Aug 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation formatting
Projects
None yet
Development

No branches or pull requests

1 participant