Hacker News Reader

I'm interested but "Lean programming languages" and its varieties are difficult to Google. Would you mind posting a complete reference?

I think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms.

Sorry I forgot the link!