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

auto-fold #24

Open
gelisam opened this issue Aug 10, 2013 · 0 comments
Open

auto-fold #24

gelisam opened this issue Aug 10, 2013 · 0 comments
Labels
type-inference magic
Milestone
Some other release

Comments

@gelisam
Copy link
Collaborator

gelisam commented Aug 10, 2013

If the user expression has type a -> b -> b, implicitly fold1 over the lines, failing if there are none.
@gelisam gelisam mentioned this issue Aug 10, 2013
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type-inference magic
Projects
None yet
Milestone
Some other release
Development

No branches or pull requests
1 participant
@gelisam