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 години