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