サクサク読めて、アプリ限定の機能も多数!
DataKindsとSingleton合わせるとこんな感じのパターンになるのか/DataKindsによって自動的にシングルトンインスタンスができない理由は何だろう
grafi のブックマーク 2013/12/22 13:26
定理証明系 Haskell[Haskell]DataKindsとSingleton合わせるとこんな感じのパターンになるのか/DataKindsによって自動的にシングルトンインスタンスができない理由は何だろう2013/12/22 13:26
このブックマークにはスターがありません。 最初のスターをつけてみよう!
konn-san.com2013/12/20
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き...
32 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
DataKindsとSingleton合わせるとこんな感じのパターンになるのか/DataKindsによって自動的にシングルトンインスタンスができない理由は何だろう
grafi のブックマーク 2013/12/22 13:26
このブックマークにはスターがありません。
最初のスターをつけてみよう!
定理証明系 Haskell
konn-san.com2013/12/20
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き...
32 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /