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 +