Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd_patch
Grenar Taggar
agda
/
test
/
Compiler
/
simple
/
Issue2486
Ulf Norell 3b3034a669 [ #2486 ] test case extension and simplification 7 år sedan
..
Haskell.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 år sedan
HaskellB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 år sedan
Import.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 år sedan
ImportB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 år sedan