diff --git a/README.md b/README.md
new file mode 100644
index 0000000..4bac41a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,7 @@
+# dissertation
+
+## requirements
+
+```
+$ raco pkg install rosette
+```
diff --git a/flake.nix b/flake.nix
index 0fd39f0..b79f2a3 100644
--- a/flake.nix
+++ b/flake.nix
@@ -25,7 +25,13 @@
     };
   in rec {
     devShells.${system}.default = pkgs.mkShell {
-      buildInputs = [tex pkgs.just];
+      buildInputs = [
+        pkgs.just # command runner
+        tex # latex environment
+
+        pkgs.racket-minimal
+        pkgs.z3
+      ];
     };
     packages.${system} = {
       default = pkgs.stdenvNoCC.mkDerivation rec {
@@ -38,7 +44,7 @@
           mkdir -p .cache/texmf-var
           env TEXMFHOME=.cache TEXMFVAR=.cache/texmf-var \
             latexmk -interaction=nonstopmode -pdf -lualatex \
-            document.tex
+            main.tex
         '';
         installPhase = ''
           mkdir -p $out