9ısı
2cevap
Neden bu Idris snippet typecheck açık bir tür olmadan neden yok?
11ısı
1cevap
İdris'te, serbest teoremleri, örn. forall t türünün tek (toplam) işlevi. t -> t 'id' nedir?
5ısı
1cevap
İdris, Agda'nın `` `ifadelerine eşdeğer midir?
0ısı
1cevap
Sınırları besleyen sınırlar ve tabiatlar arasında izomorfizm kurmak?
2ısı
1cevap
Adlandırılmış uygulamalar - Neden @ {myOrd} parametrelerden önce yerleştirilir?
8ısı
1cevap
İdris'in iki değerin eşit olmadığını otomatik olarak nasıl kanıtlayabilirim?
8ısı
1cevap
Muhtemel durum geçişleri nasıl yazılır?
0ısı
1cevap
HVect'in tüm alt boyutları nasıl belirlenir?
4ısı
1cevap
Eşitlik Türleri Nasıl Karşılaştırılır?
5ısı
1cevap