caryoscelus/agda

Auteur	SHA1 Message	Date
Nils Anders Danielsson	0606bf2ce0 [ #5431 ] Added --ghc-strict-data.	il y a 3 ans
Ulf Norell	222fd0e692 Reduce ghc threads in std compiler test to two	il y a 5 ans
Ulf Norell	13ad28d04c [ uhc backend ] remove uhc backend tests	il y a 7 ans
Ulf Norell	7f608f0834 [ test ] pass --ghc-flag=-j3 to AllStdLib compiler test	il y a 8 ans
Ulf Norell	97c50caebc [ test ] don't ignore interfaces for AllStdLib compiler test	il y a 8 ans