Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 rokov pred
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 15 rokov pred
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 rokov pred