140ısı
2cevap
Agda ve Idris arasındaki farklar
12ısı
1cevap
Agda'da/rewrite cümleleri içeren veya alt tabaka yerine yeniden yazma nasıl kullanılır?
10ısı
1cevap
13ısı
1cevap
Agda'daki Parametreli Endüktif Türler
16ısı
2cevap
9ısı
1cevap
Agda: Conor'un yığın örneği için işlev çalıştırma
6ısı
1cevap
Yapısal indüksiyonun sonlandırılması
8ısı
2cevap
Agda'da (kafa. Init) = kafa gösteriliyor.
5ısı
1cevap
Agda: Aynı uzunluktaki vektörlerin çifti