Open sorki opened 9 months ago
looks like the idea that became implicit-interpreter? :)
Not quite, but the interpreter is a stepping stone for this and #318.
I think it can be added as executable in the interpreter
package and will try it. Ideally it would be part of implicit
but that would require bit more splitting (interpreter library currently doesn't depend on implicit but the testsuite does).
which will use
hint
(similar toimplicitpipe
orimplicit-servant
) to process its Haskell code file argument.Related to https://github.com/Haskell-Things/ImplicitCAD/issues/318