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

Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases		7 年之前
..
Lib	b56b3965a6 [ backend ] updated compiler pragmas in test cases	7 年之前
TestLib.agda	689c6aaa09 Moved away or fixed many broken example files.	16 年之前