idris-lang/Idris2
@idris-langファーストクラス型を持つ純粋関数型プログラミング言語
スター
3,052
フォーク
418
言語
Idris
ライセンス
NOASSERTION
最終プッシュ
1 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
ファーストクラス型を持つ純粋関数型プログラミング言語
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。