caryoscelus/agda

Автор	SHA1 Сообщение	Дата
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	7 лет назад
Ulf Norell	71bca44c29 [ ghc backend ] removed the COMPILED_DECLARE_DATA pragma	7 лет назад
Philipp Hausmann	c9ce8fdbb0 [ tests ] Forgot to move some tests during renaming.	9 лет назад