caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Andreas Abel	c71681368f [ fixed #5103 ] --allow-unsolved-metas in compilation	4 سال پیش
Andreas Abel	df563b2c57 [ compiler test ] cosmetics	5 سال پیش
Philipp Hausmann	03c8272555 [ js ] Enable some more tests	7 سال پیش
Ulf Norell	4d953be4c6 [ compiler test ] added test case reversing a vector	9 سال پیش