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 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 README.md

(limited to '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
+```
-- 
cgit v1.2.3