caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Ulf Norell	2c0f465587 [ghc-backend] update test case to fixed primShowString	преди 7 години
Philipp Hausmann	017c22ec56 [ GHC ] Fix potential segfaults due to wrong primShowString.	преди 8 години
Philipp Hausmann	344d141e5f [ tests ] Renamed exec-tests to compiler-tests	преди 9 години