caryoscelus/agda

作者	SHA1 備註	提交日期
Wen Kokke	c96a34dfc8 Removed deprecated UHC pragramas and FloatsUHCFails test.	4 年之前
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	8 年之前
Philipp Hausmann	e309b7c737 Merge branch 'maint-2.4.2'	9 年之前
Philipp Hausmann	89707e1a90 [ compiler-tests ] Add test for sharing in generated code/runtime evaluation.	9 年之前