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

TreeError.append is not associative - thus, the corresponding Validate is not an applicative functor #124

Open
david-christiansen opened this issue Aug 6, 2023 · 0 comments
Open

TreeError.append is not associative - thus, the corresponding Validate is not an applicative functor #124

david-christiansen opened this issue Aug 6, 2023 · 0 comments
Assignees
@david-christiansen
Labels
Confusing A description is technically correct but doesn't effectively communicate to the target audience Inaccuracies Inaccurate information in the text

Comments

@david-christiansen
Copy link
Collaborator

See this comment: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Functional.20Programming.20in.20Lean

The exercises in the book should not have readers breaking the law - the exercise should be replaced with a better one!
@david-christiansen david-christiansen added Inaccuracies Inaccurate information in the text Confusing A description is technically correct but doesn't effectively communicate to the target audience labels Aug 6, 2023
@david-christiansen david-christiansen self-assigned this Aug 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@david-christiansen david-christiansen

Labels
Confusing A description is technically correct but doesn't effectively communicate to the target audience Inaccuracies Inaccurate information in the text
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@david-christiansen