[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: tla+Deps
Oh nice! I can contribute to the RFC when I or other people start to use this more and more.
The main idea is to leverage deps repos like maven and clojars so we don’t need to create a dependency package manager for ourselves. So tools for dependency conflicts, visualization etc are already built.
I still need to write some small guides like how to publish and need to open a MR to the TLA+ VSCode extension so things are better integrated (e.g. people should be able to choose which Deps they want from VSCode itself which would write the options to the settings.json file).
Glad to hear about this RFC :D
-- Paulo Rafael Feodrippe,
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CANDKcwBuSLmQXQ_z96U%2BJwtDts1Juw5rj_iRnrCD%2BWRXX6CRGA%40mail.gmail.com.