Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky
agda
/
test
/
Compiler
Nils Anders Danielsson b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. před 2 roky
..
simple b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. před 2 roky
special b56b3965a6 [ backend ] updated compiler pragmas in test cases před 7 roky
with-stdlib 0606bf2ce0 [ #5431 ] Added --ghc-strict-data. před 3 roky
Tests.hs 4f95e08517 Fixed #5441. před 3 roky