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 年之前