Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd_patch
Branches Tags
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. vor 15 Jahren
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type vor 13 Jahren