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

Andrés Sicard-Ramírez 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.		пре 9 година
..
Applicative.agda	514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.	пре 9 година
Monoid.agda	514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.	пре 9 година