caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	преди 6 години
Andrés Sicard-Ramírez	fb6ff2ff05 Revert "[ common test files ] Renamed Common.Product to Common.Sigma."	преди 6 години
Andrés Sicard-Ramírez	6f41451b49 [ common test files ] Renamed Common.Product to Common.Sigma.	преди 6 години
Andreas Abel	e14ea6f0b5 Bring back the error message for failing occurs check that was disabled by the fix for issue 442.	преди 13 години