Please enable JavaScript in your browser!
Halaman utama
Jelajahi
Bantuan
Masuk
caryoscelus
/
agda
Liatin
1
Bintangi
0
Fork
0
Berkas
Masalah
0
Tarik Permintaan
0
Wiki
Cabang:
js_amd
Ranting
Tag
js_amd
js_amd_patch
working
Komit Sejarah
Cari
Pembuat
SHA1
Pesan
Tanggal
Nils Anders Danielsson
47aa688349
Made "cabal repl" work.
2 tahun lalu
Andrés Sicard-Ramírez
59878ab981
[ closed
#5298
] Added GHC warnings to Agda.cabal.
3 tahun lalu
Andrés Sicard-Ramírez
49c53ecc0b
[
#4242
] Added .ghci-8.10 file.
4 tahun lalu