caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Andreas Abel	3543ef3df1 [ ghc-9.0 ] enable warning compat-unqualified-imports	преди 3 години
Andrés Sicard-Ramírez	bd74ccf7f6 [ closed #5415 ] Added `-Winvalid-haddock` warning.	преди 3 години
Andrés Sicard-Ramírez	59878ab981 [ closed #5298 ] Added GHC warnings to Agda.cabal.	преди 3 години
Andrés Sicard-Ramírez	a309a8ac28 [ closed #4955 ] Tested with GHC 9.0.1.	преди 3 години