effectfully
effectfully
Damn I implemented UPLC instead of PIR. Anyway, adding support for PIR should be a matter of adding a few straightforward instances. I'll do it tomorrow.
> It's the first time I see how the flexibility of Term's type parameters can be useful. The `fun` parameter is very useful for tests and costing calibrations and I...
Should do that indeed. Optimizations are generally low priority, so I'm marking this issue as such. Thank you for opening it.
Merged this one into #5967, so closing. You can reopen it once you start working on it or just add a PR to the sprint like I do.
> Here is a workaround: > > Remove F12 as key to 'Toggle Guake visibilty' in Guake Properties. > Add F12 as 'Custom Shortcut' to command 'guake-toggle' in Gnome, Settings,...
"status: needs action from the team" and "status: triaged" are mutually exclusive, there can be only one "status" label. Blueprints aren't high priority, so this is a low priority issue,...
@ana-pantilie you're probably equipped best to answer this one.
Sounds like there's a reasonable workaround and we aren't going to do anything about the issue otherwise, hence I'm closing it. Do feel free to reopen if you feel otherwise.
That would be great to have indeed. I've brought it to the team and the team agreed. I'm going to mark this issue as "low priority" though, since it's not...
@aleeusgr thank you for volunteering! How about you take the work [done](https://github.com/Plutonomicon/plutarch-plutus/pull/684) by MLabs and upstream it into our repo? While improving everything that you can think of along the...