1 comment

[ 3.2 ms ] story [ 11.8 ms ] thread
I came across an interactive debugger for Haskell in a talk about someone's PhD research a few years ago where it was possible to traverse the graph and interactively eliminate possibilities. Could anyone tell me what the name is?