Z-snails/Idris2-Grin

Discussion about the GRIN optimizer

Closed this issue · 5 comments

csabahruska commented

Hi,

Would you like to have a video meeting and discuss the details of the GRIN optimizer?

Cheers,
Csaba Hruska

Z-snails commented

Would this be a discussion about using your implementation of GRIN, the roadmap for the GRIN project, or something else?

I've managed to get past the SimpleDeadParameterElimination not working properly by implementing it (I think) correctly in Idris, but now I've got another problem so help would be appreciated.

csabahruska commented

The topic can be anything that is relevant, i.e. using the current GRIN implementation and also project future plans.
My schedule is quite flexible. What time works for you?

Z-snails commented

I'll email you, is the email in your github bio good?

  • 👍1
Z-snails commented

Huge thanks to Csaba, the discussion was very helpful.

  • 👍1