caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files.		10 gadi atpakaļ
..
DecidableOrder.agda	00a9116a9a File names are no longer stored in interface files.	15 gadi atpakaļ
MinMax.agda	b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type	13 gadi atpakaļ