2007/10/17

趕快切換回來,寫一下圖論作業。玩過 Agda 就知道 documentation 有多重要了 XD。

--
找不到相關說明是常態,找到是運氣好 XD。

Labels:

<< 回到主頁