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 년 전