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

Nils Anders Danielsson b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas.		2 年之前
..
simple	b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas.	2 年之前
special	b56b3965a6 [ backend ] updated compiler pragmas in test cases	7 年之前
with-stdlib	0606bf2ce0 [ #5431 ] Added --ghc-strict-data.	3 年之前
Tests.hs	4f95e08517 Fixed #5441.	3 年之前