作者查詢 / joshs

總覽項目：發文 | 留言 | 暱稱

作者 joshs 在 PTT [ PLT ] 看板的發文, 共5篇

限定看板：PLT

看板排序：

全部PLT5Math1<< 收起看板(2)

首頁

上一頁

1

下一頁

尾頁

Re: [問題] Free Monad 是怎麼來的？

[ PLT ]6 留言, 推噓總分: 0

作者: joshs - 發表於 2013/10/30 22:10(12年前)

Re: [問題] What does ⊥-elimination do?

[ PLT ]4 留言, 推噓總分: +4

作者: joshs - 發表於 2013/03/06 04:49(12年前)

Re: [問題] What does ⊥-elimination do?

[ PLT ]0 留言, 推噓總分: 0

作者: joshs - 發表於 2013/03/06 02:11(12年前)

Re: [問題] '#'的意思

[ PLT ]1 留言, 推噓總分: 0

作者: joshs - 發表於 2012/12/30 19:49(13年前)

Re: [閒聊] 以下六個分別是什咩語言?

[ PLT ]13 留言, 推噓總分: +4

作者: joshs - 發表於 2009/07/02 12:45(16年前)

首頁

上一頁

1

下一頁

尾頁