diff options
| author | Aria <me@aria.rip> | 2023-10-05 18:52:34 +0100 |
|---|---|---|
| committer | Aria <me@aria.rip> | 2023-10-05 18:52:34 +0100 |
| commit | 26126be56a2599eae76875fefbfe7db98e46213d (patch) | |
| tree | 1b64390ffb782e51edc14afba9ba70522de5e80c /README.md | |
| parent | c07742a053671908003a6300b2a64e715cadd6ad (diff) | |
racket stuff
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
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 +``` |