Tim Würtele

Is there some way to extract code when working with indexed effects w/o `reify`? I want to actually execute my F* code and used something along the lines of `(reify...

Thanks for the clarification! My indices should be non-informative, will check that.

Hi @aseemr, thanks for your reply! Are there any updates on this?

Thanks a lot!

I had the same problem, until it just went away - I investigated and found that these options are part of the [`biblatex-software` package](https://ctan.org/pkg/biblatex-software), which seems to be relatively recent....