README

2021-08-10 00:06:48 -05:00
parent 4f191e2fae
commit 7129943522
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -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
+