Please enable JavaScript in your browser!
Home
Esplora
Aiuto
Accedi
caryoscelus
/
agda
Segui
1
Vota
0
Forka
0
File
Problemi
0
Pull Requests
0
Wiki
Ramo (Branch):
js_amd_patch
Rami (Branch)
Tag
js_amd
js_amd_patch
working
Cronologia Commit
Cerca
Autore
SHA1
Messaggio
Data
Nils Anders Danielsson
c7083badc0
[
#5431
] Added --ghc-strict.
3 anni fa
Nils Anders Danielsson
0606bf2ce0
[
#5431
] Added --ghc-strict-data.
3 anni fa
Nils Anders Danielsson
7181c83f23
[
#4701
] Added support for --erased-cubical to the GHC backend.
3 anni fa