标签： haskell
前段时间我遇到了一个实用程序，它在给定函数签名的情况下提供了它的实现（参数化）。我现在不记得了。请帮忙
答案 0 :(得分：3)
Djinn
答案 1 :(得分：0)
我认为Djinn确实是你正在寻找的工具（参见Alexey Romanov的回答）。就像丹尼尔指出的那样，Djinn与参数性无关，但也许你错了this tool from the University of Bonn？
答案 2 :(得分：0)
Reversing Haskell typechecker: converting from undefined to defined