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

Have something like "honorable mentions" #1

Closed
Ben-PH opened this Issue Dec 30, 2018 · 1 comment

Comments

Projects
None yet
2 participants
@Ben-PH
Copy link

Ben-PH commented Dec 30, 2018

Navigating this list-stack is pretty straight forward, especially if you know the sort of thing you are looking for. A .md, perhaps in the README, dedicated to drawing attention to parts that you would unlikely go looking for.

One hypothetical example might be in a heakel list, it goes into formal verification, which might be interesting to people that might not otherwise find themselves there.

This issue submitted on mobile. If the fedback is along the lines of "i like it" im happy to put a bit of work into a pull request.

@jonatasbaldin

This comment has been minimized.

Copy link
Owner

jonatasbaldin commented Dec 30, 2018

hey, how are you doing?

I read this a couple of times, but didn't get what u meant :< can u elaborate?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment