Tommy Thorn

Hi Benji, I've been following your work, but haven't had time to replicate it yet. I hope you'll find https://github.com/tommythorn/Reduceron/blob/master/semantics/Reduceron.lhs useful. I know I have returned to it many times...

One thing I should mention: if we are going straight to Red (which is a valid choice), we need to implement/port all the transformation and optimizations that Flite performs. It...

That's excellent. There are lots of ways this can be done, but the standard way is for you to fork my repo and send me pull requests. Normally one would...

First the error you got is very obscure. It would be nice to have a message that points more obviously to the issue. Indeed, Flite could (shoud) handle handle this...

Sorry I haven't had time to look for it, but I thought Flite includes arity reduction. It might be controlled with a flag though.

Whoops. This may be tricker than expected. Turns out that even adding a "Tick" to the existing tick break Reduceron. This is exactly what I don't like about Recipes: there's...

Thanks for the bug report. I'm actually aware of this issue and it's due to "recent" changes in how cabal works. I was hoping somebody with a good understanding of...

First, thanks for the report and I'm so very very sorry for not noticing this report until now (I have no idea how that happened). Indeed, the examples aren't run...

Kansas Lava have a better solution based on the new StableNames features, which alas is completely GHC proprietary. Still, porting to Kansas Lava may bring other upsides?

The other obvious solution is to change York Lava to use StableNames as well. I'm investigating that.