fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard
verified publisher icon leanprover

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

Open david-christiansen opened this issue 2 years ago • 2 comments

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 avatar Aug 06 '23 19:08 david-christiansen

@david-christiansen Can I please ask the status of the source code for the book as I desparately need to be able to render it into PDF format for printing for my own purposes of learning LEAN.

AaronNGray avatar Dec 16 '24 18:12 AaronNGray

I'm not sure what you mean - this is the issue tracker for the source code repository for the book. Can you be more specific?

david-christiansen avatar Dec 17 '24 15:12 david-christiansen