Csaba Hruska

I'll take a look.

It seems that the current dataflow machinery in the current grin implementation is inefficient. That's why we switched to Souffle Datalog to fix this issue. I use Souffle Datalog in...

Hi! I can answer the latter question for now. https://github.com/grin-tech/grin#example-front-end

I think reading [chapter 2 and 3 about GRIN](http://nbviewer.jupyter.org/github/grin-tech/grin/blob/master/papers/boquist.pdf#page=41) would give a good foundation to get started with coding.

**UPDATE**: We started to work on a _Contributor's Guide_ document. It will take 1-2 weeks to make it ready.

I had a break from coding. I've studied [ASAP memory management](http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.html) what I'd like to reimplement for GRIN. I still don't have an issue list for new contributors but I...

The LLVM version is tied to llvm-hs. So currently it will work only with LLVM 7.

Sure! It is in the roadmap. We did not implement it yet because other research related things like pointer analysis performance and precision issues were more important as they form...

What operations do you need?

Would foreign pointers interact with the garbage collector?