[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: tla+Deps

Very cool! There's an RFC about this - would you like to contribute your thoughts & experiences? https://github.com/tlaplus/rfcs/issues/8

Lately 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?


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.