Deep Gambit Integration #726

New issue

2023-07-16T10:08:14Z

vyzo commented

2023-07-16 10:08:14 +00:00

(Migrated from github.com)

Integrate Gambit as a submodule and deeply tie to it throughout the tooling.

Fixes all the issues with separate Gambit installation and versioning; we anchor at the latest version.
Allows us to do nice things like tracking source location throughout, etc.

@drewc created a first prototype; take it and run with it!

Integrate Gambit as a submodule and deeply tie to it throughout the tooling. - Fixes all the issues with separate Gambit installation and versioning; we anchor at the latest version. - Allows us to do nice things like tracking source location throughout, etc. @drewc created a first prototype; take it and run with it!

vyzo commented

2023-09-04 08:16:52 +00:00

(Migrated from github.com)

Welcome to the Future: