このウェブサイトにはJavaScriptが必要です。
エクスプローラー
ヘルプ
サインイン
rhi
/
agda-prelude
ウォッチ
1
スター
0
フォーク
agda-prelude はフォーク済み
0
コード
イシュー
プルリクエスト
リリース
Wiki
アクティビティ
not that one, another one. just some reexports from the stdlib
1
コミット
1
ブランチ
0
タグ
93
KiB
Agda
100%
main
ファイルへ移動
HTTPS
ZIPファイルをダウンロード
TAR.GZファイルをダウンロード
バンドルをダウンロード
VSCodeでクローン
このリポジトリを引用
APA
BibTeX
キャンセル
rhiannon morris
ed0a773c2f
First
2021-07-09 08:22:09 +02:00
.gitignore
First
2021-07-09 08:22:09 +02:00
Prelude.agda
First
2021-07-09 08:22:09 +02:00
prelude.agda-lib
First
2021-07-09 08:22:09 +02:00