caryoscelus/agda

作者	SHA1 備註	提交日期
Nils Anders Danielsson	0606bf2ce0 [ #5431 ] Added --ghc-strict-data.	3 年之前
Ulf Norell	222fd0e692 Reduce ghc threads in std compiler test to two	5 年之前
Ulf Norell	13ad28d04c [ uhc backend ] remove uhc backend tests	7 年之前
Ulf Norell	7f608f0834 [ test ] pass --ghc-flag=-j3 to AllStdLib compiler test	8 年之前
Ulf Norell	97c50caebc [ test ] don't ignore interfaces for AllStdLib compiler test	8 年之前