来自haskell中实例搜索的证明树

html5 • • 问答

无论如何要欺骗haskell（原始haskell？源插件？任何东西？）以获得类型类如何派生的证明树？

我想要什么，使用下面的例子说：

**Diff**
           --      --
           Id      Id
----       ----------
Unit       Prod Id Id
---------------------
Sum Unit (Prod Id Id) 

**Diff**
           --      --
           Id      Id
----       ----------
Unit       Prod Id Id
---------------------
Sum Unit (Prod Id Id)

以上是来自haskell中实例搜索的证明树的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>