Managing the two repositories

The actual typechecker is written in Haskell and is available here.

That project is included in this one using git subtree. For future reference we describe how that is done. We follow these instructions.

Adding the subtree

NOTE This only has to be done once; and has already been done. It is written here only for completeness.

Create new remote.

git remote add -f DiffPrivacyInferenceHs git@github.com:DiffMu/DiffPrivacyInferenceHs.git

Add the subtree.

git subtree add --prefix deps/DiffPrivacyInferenceHs DiffPrivacyInferenceHs main --squash

Updating the typechecker version

In order to update the included version of the typechecker to the newest commit on main over at the Haskell repository, execute the following two commands.

git fetch DiffPrivacyInferenceHs main
git subtree pull --prefix deps/DiffPrivacyInferenceHs DiffPrivacyInferenceHs main --squash