 Nils Anders Danielsson
|
7716754f2a
[ #4521 ] Added the flag optimise-heavily to Agda.cabal.
|
3 lat temu |
|
Nils Anders Danielsson
|
1e1d216375
Added DeriveGeneric to the lists of default extensions.
|
3 lat temu |
|
Nils Anders Danielsson
|
49583df13e
Removed some warnings from .ghci-8.0.
|
4 lat temu |
 Jesper Cockx
|
f483855db7
[ refactor ] Add TypeFamilies to .cabal file
|
4 lat temu |
|
Jesper Cockx
|
bd40da92fe
[ refactor ] Add GeneralizedNewtypeDeriving to .cabal file
|
4 lat temu |
 Robert Estelle
|
423c7a6c6c
ghci/cabal: Use same default language flags for test suite/ghci
|
4 lat temu |
|
Robert Estelle
|
bc3513d331
ghci: Remove since-removed deprecated warnings from .ghci* files
|
4 lat temu |
 Víctor López Juan
|
17252fe0d9
[ infrastructure ] Add -fprint-potential-instances
|
4 lat temu |
 Andrés Sicard-Ramírez
|
49c53ecc0b
[ #4242 ] Added .ghci-8.10 file.
|
4 lat temu |
