LEAN FOR JAVASCRIPT DEVELOPERS

Summary from the TLDR newsletter

This article discusses an opinionated syntax primer for the Lean programming language.