$\newcommand{\defeq}{\mathrel{\mathop:}=}$

Trek through Pure Reason

Let's see how far we can go.

Josh Ko

: Oxford University Dept. of Computer Science; DPhil Student

Previous Posts

QSort in Agda, Round 3
A Question about Magic With --- Resolved
A Question about Magic With
78%
國際化
狂熱
QSort in Agda, Round 2
QSort in Agda
惡夢
Transitivity

Archives

Old Blogs (2005/03 ~ 2006/05)
Blogger:
or direct your browser to http://joshkos.blogspot.com/
yyyy_mm_01_archive.html

2007/11/13

1000

搶。

--
雖然沒人跟我搶 XD。

Labels: Blogger

posted by Josh Ko @ 5:41 am 0 項意見

<< 回到主頁

所有我撰寫的內容、釋出的「原創」檔案，您可（合理地）任意運用，不需另行告知 :)。

─ Josh Ko