Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd_patch
Ranting Tag
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 tahun lalu
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 15 tahun lalu
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 tahun lalu