Erik Meijer
@headinthebox
가입 November 2011
0 팔로잉 중 37.4K 팬
If you are even remotely interested in functional programming, or are curious about all this scary talk about formal verification, take a peek at these slides about Lean
인기 있는 사용자
