Aleksei Tiurin

Is there any relatively painless and seamless way to make these programs proceed grin pipeline? Maybe I can switch back and forth to stg to use souffle?

Hi! Actually, my programs are in Haskell only due to the current workflow, but essentially they are more like simplified Haskell Core, since I need only `case`, constructors, variables, function...

> BTW, this is why I'd like to implement the lambda calculus like convenience IR. It would provide the defunctionalization transformation for free. Could you please elaborate about how one...