Andrés Goens
Andrés Goens
+1 from the CGO artifact evaluation committee as well!
@bollu there's a couple of changes missing I found while debugging this, I will push later tonight/tomorrow!
this is also made obsolete by #49
oh that's pretty cool! I didn't know about this difference (between closed syntax and extensible syntax categories). I think it makes a lot of sense, thanks for the very thorough...
@bollu I guess the question is how do you describe a generic `f` in this? i.e. can you write either the LHS/RHS with a parametrized `f` and `g` as here?...
@bollu yeah that's the point with what I meant above. My understading is the following: 1. The `func` dialect should be there to talk about generic functions, right? So in...
@bollu I haven't had the bandwidth to look into this, I'm afraid I won't have it while I'm at PLDI either, sorry!
oh, I see. I guess the text above is confusing here (because it does talk about B), so I thought it was the general rule you wanted to show. Anyway,...