caryoscelus/agda

Yazar	SHA1 Mesaj	Tarih
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	6 yıl önce
Andrés Sicard-Ramírez	fb6ff2ff05 Revert "[ common test files ] Renamed Common.Product to Common.Sigma."	6 yıl önce
Andrés Sicard-Ramírez	6f41451b49 [ common test files ] Renamed Common.Product to Common.Sigma.	6 yıl önce
Andreas Abel	e14ea6f0b5 Bring back the error message for failing occurs check that was disabled by the fix for issue 442.	13 yıl önce