Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd_patch
Gałęzie Tagi
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 lat temu
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 15 lat temu
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 lat temu