GitHubスター
1
ユーザー評価
未評価
お気に入り
0
閲覧数
13
フォーク
0
イシュー
0
インストール方法
難易度
初級推定所要時間
5-10 分
追加リソース
作者情報
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
貢献数