2008/11/07

痛快

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

--
希望效果不太糟…

Labels:

posted by Josh Ko @ 8:59 am   2 項意見

Blogger Lin Jen-Shin (godfat) 在 11/07/2008 10:12 am 說：

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

 
Blogger Unknown 在 11/07/2008 2:21 pm 說：

To godfat,

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

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

 

<< 回到主頁