undefined | Better HN

0 pointsvladf8y ago0 comments

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

0 comments

2 comments · 2 top-level

cf8y ago

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!

j / k navigate · click thread line to collapse