HigherOrderCO/Kind
@HigherOrderCOモダンな証明言語
スター
3,763
フォーク
152
言語
Haskell
ライセンス
MIT
最終プッシュ
2 年前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
モダンな証明言語
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。