Kiran Gopinathan

Any update on whether this will be supported? Are there some fundamental architectural issues that are blocking this feature? If not, I don't mind taking a crack at implementing this...

I guess in the meanwhile I am able to make do with: ```ocaml let evd = Evd.from_env env in let acc = ref [] in Search.search env evd query ([],...

I feel like a `conf-guile` package is needed to make sure that users have Guile installed on their system, but I'm not sure how to set that up? On debian,...

Perfect, thanks for the pointers! I'll update the PR with conf-guile package as well. Also, will update to add the dependency on stdio.

I've added a conf-guile package, and made the guile package depend on conf-guile. It seems the thing builds now properly for debian/ubuntu, but fails on rhel,fedora,centos and alpine. I think...

Thank you @mseri very much for having a look! > Somehow you are not including the path to gmp.h, the invocation goes as /usr/bin/gcc -I/usr/include/guile/3.0 -I/usr ... but you need...

@kit-ty-kate , thank you so much for fixing the package! Sorry for the issues with the package, I just could not get the package to build on the other operating...

Any update on whether this will be supported? Are there some fundamental architectural issues that are blocking this feature? If not, I don't mind taking a crack at implementing this...

I guess in the meanwhile I am able to make do with: ```ocaml let evd = Evd.from_env env in let acc = ref [] in Search.search env evd query ([],...

A couple of implementation details that I was confused about while updating your ppx: - *`Builtin.char`* --- the original ppx made reference to this, but the current version of Elpi...