logic-TPTP-0.4.0 <a rel="nofollow" target="_blank" href="http://hackage.haske...

Masahiro Sakai - 2014-05-23T00:09:09+0000 - 更新日時: 2014-05-23T00:09:09+0000

logic-TPTP-0.4.0 http://hackage.haskell.org/package/logic-TPTP が、 transformers-0.4.0.0 で Identity のインスタンスが幾つか定義された影響でコンパイルできない問題と、GHC-7.8で Kind-polymorphic Typeable https://ghc.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable の影響でコンパイルできない問題を、報告しておいた。