lambdageek user

I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

Aleksey Kliger (λgeek) · Boston, MA · @Microsoft · 194 followers · 223 stars · 153 repositories · joined November 2022