Bu web sitesinin çalışması için JavaScript gereklidir.
Keşfet
Yardım
Giriş Yap
rhi
/
agda-prelude
İzle
1
Yıldızla
0
Çatalla
agda-prelude deposunu zaten çatalladınız
0
Kod
Konular
Değişiklik İstekleri
Sürüm
Wiki
Aktivite
not that one, another one. just some reexports from the stdlib
1
İşle
1
Dal
0
Etiket
93
KiB
Agda
100%
main
Dosyaya git
HTTPS
ZIP indir
TAR.GZ indir
BUNDLE indir
VS Code'ta klonla
Bu depoya atıf ver
APA
BibTeX
İptal
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