Nils Anders Danielsson
|
c7083badc0
[ #5431 ] Added --ghc-strict.
|
hace 3 años |
Nils Anders Danielsson
|
0606bf2ce0
[ #5431 ] Added --ghc-strict-data.
|
hace 3 años |
Nils Anders Danielsson
|
7181c83f23
[ #4701 ] Added support for --erased-cubical to the GHC backend.
|
hace 3 años |