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
人気のあるユーザー
