caryoscelus/agda

Autor	SHA1 Wiadomość	Data
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	7 lat temu
Ulf Norell	71bca44c29 [ ghc backend ] removed the COMPILED_DECLARE_DATA pragma	7 lat temu
Philipp Hausmann	c9ce8fdbb0 [ tests ] Forgot to move some tests during renaming.	9 lat temu