hehe it's all inside the toplevel now

2021-08-10 20:45:06 -05:00
parent 73d9260b1f
commit a4c10bbf57
7 changed files with 51 additions and 34 deletions
--- a/7
+++ b/7
@ -2,9 +2,4 @@

 - `console/rootstore` must exist at `../rootstore`

-$ dune exec ./main.exe
-
-Type in:
-`#use "init.ml"`
-Ctrl-Enter runs the command
-
+$ dune exec ./boot.exe