Skip to content

All complexity annotations should be in MathJax format #731

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.

Sign up for GitHub

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

Jump to bottom
Closed
sjakobi opened this issue Jun 17, 2020 · 3 comments · Fixed by #830
Closed

All complexity annotations should be in MathJax format #731

sjakobi opened this issue Jun 17, 2020 · 3 comments · Fixed by #830
Labels
docs

Comments

@sjakobi
Copy link
Member

sjakobi commented Jun 17, 2020

…because it's beautiful!

MathJax is already used in:
@sjakobi sjakobi added the docs label Jun 17, 2020
@sjakobi sjakobi mentioned this issue Jun 17, 2020
Merged
@treeowl
Copy link
Contributor

treeowl commented Jun 17, 2020

I'm glad you like it! I converted Data.Sequence over some time ago, but I decided to leave the rest alone in case I got a bunch of complaints—MathJax has historically been a bit troublesome in some browsers. Fortunately, the complaints haven't materialized, so I guess the situation is now good enough. Let's do this.

@sjakobi
Copy link
Member Author

sjakobi commented Jun 17, 2020

I converted Data.Sequence over some time ago, but I decided to leave the rest alone in case I got a bunch of complaints—MathJax has historically been a bit troublesome in some browsers.

fdc4cca seems to contain at least some of your work. Hopefully the browser support issue has been resolved by now!

@treeowl
Copy link
Contributor

treeowl commented Jun 17, 2020

Ah, that reminds me of the loading time concern.... Regardless, the complaints have not poured in, so we proceed.

@konsumlamm konsumlamm mentioned this issue Apr 13, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use MathJax format for complexity annotations konsumlamm/containers
2 participants
@treeowl @sjakobi