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 سال پیش