From 71299435220f7a92f2750c90e5de7559ae9e9e14 Mon Sep 17 00:00:00 2001 From: cqc Date: Tue, 10 Aug 2021 00:06:48 -0500 Subject: [PATCH] README --- README | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 README diff --git a/README b/README new file mode 100644 index 0000000..161bbdc --- /dev/null +++ b/README @@ -0,0 +1,10 @@ +# console/boot + +- `console/rootstore` must exist at `../rootstore` + +$ dune exec ./main.exe + +Type in: +`#use "init.ml"` +Ctrl-Enter runs the command +