Add `tla` and `tlacli` to our nix shell - Githubissues

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

Add `tla` and `tlacli` to our nix shell #5

Closed VictorCMiraldo closed 3 years ago