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.

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

Document the design of All #137

Open
treeowl opened this issue Apr 7, 2021 · 2 comments
Open

Document the design of All #137

treeowl opened this issue Apr 7, 2021 · 2 comments

Comments

@treeowl
Copy link

treeowl commented Apr 7, 2021

It's not at all obvious to the casual reader why All is defined as it is, and in particular what SListI is really about. This should be explained.
@kosmikus
Copy link
Member

You're absolutely right, this should be documented. But even I have to recover that information, so it's not trivial. I'll try to do this.

@kosmikus
Copy link
Member

(Also, the design has changed a number of times, and while SListI is now just All Top, it used to be separate. So in a way, the justification for even having SListI separately is now relatively weak.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kosmikus @treeowl