Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd
Branch-ok Tag-ek
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 éve
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 16 éve
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 éve