Skip to content

scottviteri/FillInTheMissingWord

Repository files navigation

6.863J Semantics Framework.

To get started:

nix-shell
jupyter-notebook FillInTheGaps.ipynb

If you are unfamiliar with the nix package manager, simply make sure that you have the dependencies listed in the shell.nix file.

Alternately, install nix with:

curl https://nixos.org/nix/install | sh

Even though this source is trust-worthy, remember that it is always good form to look at the code before running the above command!