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