Ana Sayfa Keşfet Yardım
Giriş Yap
caryoscelus
/
agda
İzle 1
Yıldızla 0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki
Dal: js_amd_patch
Dallar Biçim İmleri
agda
/
test
/
Compiler
/
simple
/
Issue2486
Ulf Norell 3b3034a669 [ #2486 ] test case extension and simplification 7 yıl önce
..
Haskell.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 yıl önce
HaskellB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 yıl önce
Import.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 yıl önce
ImportB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 yıl önce