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 سال پیش