GitHubスター
1
ユーザー評価
未評価
お気に入り
0
閲覧数
13
フォーク
0
イシュー
0
レビュー & 評価
まだレビューがありません
作者情報
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
@MicrosoftBoston, MA
178
フォロワー
147
リポジトリ
71
Gist
0
貢献数