search

pauladam94 / curryst

Typst Package to typeset inference rule
MIT License
20 stars 2 forks source link

`prooftree` package name #27

Open david-davies opened 2 weeks ago

david-davies commented 2 weeks ago

Hi, (Apologies for using an issue to communicate, I couldn't find an email contact) I authored and then abandoned the prooftree package. Please let me know if you'd like to use that package name, as curryst is better and actually maintained. I don't want to be hogging the prooftree namespace :)

Best, David

MDLC01 commented 2 weeks ago

I believe it was an error on the Typst team's part to allow prooftree as a package name in the first place, because it is too descriptive. I'm not sure it makes sense to delete your package, nor does it make sense to now start using the prooftree name for the aforementioned reason. Of course, Paul will decide, as the owner of the package, but I think you could just change your README on Typst Universe to mention that prooftree is deprecated, and curryst should now be used (if you feel like it, of course).

david-davies commented 2 weeks ago

In the meantime I'll do as you suggested; mark it as deprecated and point towards curryst.