サクサク読めて、アプリ限定の機能も多数!
dependent-typeのコア言語PiSigma。Lazynessのbox項がある。
bellbind のブックマーク 2009/04/21 23:21
Reddit - Dive into anything[lang][programming][proof] dependent-typeのコア言語PiSigma。Lazynessのbox項がある。2009/04/21 23:21
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.reddit.com2009/04/21
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
dependent-typeのコア言語PiSigma。Lazynessのbox項がある。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Reddit - Dive into anything
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /