Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. před 10 roky
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. před 15 roky
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type před 13 roky