サクサク読めて、アプリ限定の機能も多数!
notae のブックマーク 2014/06/25 02:00
index[FunctionalProgramming][Haskell][SAT][TermRewriting]2014/06/25 02:00
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.imn.htwk-leipzig.de2013/02/18
Workshop on Haskell And Rewriting Techniques (HART) 2013 update: HART 2014 Haskell is an advanced purely-functional programming language. Rewriting is the science of replacing equals by equals and ...
4 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
notae のブックマーク 2014/06/25 02:00
このブックマークにはスターがありません。
最初のスターをつけてみよう!
index
www.imn.htwk-leipzig.de2013/02/18
Workshop on Haskell And Rewriting Techniques (HART) 2013 update: HART 2014 Haskell is an advanced purely-functional programming language. Rewriting is the science of replacing equals by equals and ...
4 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /