GitHubスター
1
ユーザー評価
未評価
お気に入り
0
閲覧数
13
フォーク
0
イシュー
0
技術情報
プログラミング言語
Rust主要言語
システム要件
特定の要件は記載されていません
メンテナンス状況
アクティブ作者情報
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
貢献数