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.		преди 8 години
..
Data	514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.	преди 8 години
Logic	514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.	преди 8 години
Prelude.agda	dee6ebca7a started porting libraries to use inductive families	преди 18 години
Test.agda	689c6aaa09 Moved away or fixed many broken example files.	преди 16 години