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.		%!s(int64=10) %!d(string=hai) anos
..
DecidableOrder.agda	00a9116a9a File names are no longer stored in interface files.	%!s(int64=15) %!d(string=hai) anos
MinMax.agda	b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type	%!s(int64=13) %!d(string=hai) anos