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 година