Reading some of the other comments that say that Functional Programming in Lean is a good enough introduction and a learnxinyminutes is unnecessary, I feel I need to clarify that y should be somewhere between 5 and 15. Functional Programming in Lean is going to be probably 20 hours or more for me.