caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	6 سال پیش
Philipp Hausmann	ec71aa476c [ tests ] Use builtin lib Unit datatype.	8 سال پیش
Philipp Hausmann	d55e5321be [ uhc ] Add support for UHC to exec tests	10 سال پیش
Philipp Hausmann	de5bf1989a [ tests ] Merge "Common" with backend tests "Prelude".	10 سال پیش