Andrés Sicard-Ramírez
|
59878ab981
[ closed #5298 ] Added GHC warnings to Agda.cabal.
|
hace 3 años |
Robert Estelle
|
bc3513d331
ghci: Remove since-removed deprecated warnings from .ghci* files
|
hace 4 años |
Andrés Sicard-Ramírez
|
49c53ecc0b
[ #4242 ] Added .ghci-8.10 file.
|
hace 4 años |