Mac OS X'te X265'i derlemeye çalışıyorum. CMAKE, YASM 1.3 ve Mercurial'ı içeren tüm önkoşullarım var. ben şöyle linux içindi talimat takip: $ hg clone https://bitbucket.org/multicoreware/x265
$ cd x2
Agda'da boyut tipleri nelerdir? Ben nedeniyle aşağıdaki noktalara MiniAgda hakkında kağıdı okumaya çalıştım, ama devam etmek başarısız oldum: Neden veri tipleri onların boyutu üzerinde geneldir? Bildi
Bir tür için indüksiyon ilkesinin, P bir teklifle ilgili bir teorem olduğunu okudum. Bu yüzden sağ (veya ters) liste oluşturucuya dayanarak List için bir indüksiyon ilkesi inşa ettim. Definition true_