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--On Wed, Apr 19, 2023 at 11:01 AM Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:Very cool! There's an RFC about this - would you like to contribute your thoughts & experiences? https://github.com/tlaplus/rfcs/issues/8Lately I've also been messing around with Nix. It has a lot of interesting ideas about dependency management and reproducibility. Have you looked at its way of doing things?Andrew--On Tuesday, April 18, 2023 at 8:51:25 AM UTC-4 pfeod...@xxxxxxxxx wrote:Check https://tladeps.org.Just a small experiment on how to have decentralized modules for TLA+, it supports the great TLA+ VSCode extension out of the box.Check the video and instructions in the website.
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/a5114219-0532-4586-816b-f7c4ad5adfb5n%40googlegroups.com.
Paulo Rafael Feodrippe,Desenvolvedor