Login: lambdageek
Company: @Microsoft
Location: Boston, MA
Bio: I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
Blog: http://www.lambdageek.org/aleksey
Blog: http://www.lambdageek.org/aleksey
Commits To
Repository | Most Recent Commit | # Commits |
---|