From 26126be56a2599eae76875fefbfe7db98e46213d Mon Sep 17 00:00:00 2001
From: Aria <me@aria.rip>
Date: Thu, 5 Oct 2023 18:52:34 +0100
Subject: racket stuff

---
 README.md |  7 +++++++
 flake.nix | 10 ++++++++--
 2 files changed, 15 insertions(+), 2 deletions(-)
 create mode 100644 README.md

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
-- 
cgit v1.2.3