HERMIT> run log
<interactive>:23:1:
No instance for (Run QueryFun) arising from a use of ‘run’
In the expression: run
In the expression: run log
In an equation for ‘it’: it = run log
Similiar problem for run $ diff 1 2... is there a way to run QueryFuns?
Similiar problem for
run $ diff 1 2
... is there a way to runQueryFun
s?