2008/11/07

痛快

有機會講 initial types 真是痛快!更精確地說,應該是「有人要聽」這件事情令人欣慰 XD。

--
希望效果不太糟…

Labels:

Blogger godfat 真常11/07/2008 10:12 am 說:

前面覺得解釋了不少以前看不懂的 agda2 程式,
後面無奈精神不濟了,就不知道在聽什麼了 XD

 
Blogger XOO11/07/2008 2:21 pm 說:

To godfat,

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.1418

之前翻到這篇 paper 覺得寫得還滿 readable,或許有幫助?

 

<< 回到主頁