Refine

Dockerfile

@@ -1,14 +1,14 @@
 
 FROM ocaml/opam:ubuntu-23.04-ocaml-5.1
 
-RUN opam update
-
 RUN git clone https://github.com/songyahui/AlgebraicEffect.git
 
 WORKDIR AlgebraicEffect
 
 RUN sudo apt-get update -y && \
-  sudo apt-get install -y libgmp-dev pkg-config python3 libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev && \
+  sudo apt-get install -y libgmp-dev pkg-config python3 libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev
+
+RUN opam update && \
   opam install dune menhir ppx_deriving ppx_expect unionFind visitors z3 why3-ide
 
 RUN eval $(opam env) && dune build @install

README.md

@@ -9,9 +9,9 @@ ICFP24 (#95) submission:
 **Specification and Verification for Unrestricted Algebraic Effects and Handling**. 
 
 
-## Build Heifer 
+## Building Heifer 
 
-We have a docker image to try out our tool, which is detailed in the 
+We have a Docker image to try out our tool, which may be run this way:
 
 ```sh
 docker pull yahuuuuui/heifer-icfp24:latest
@@ -36,12 +36,12 @@ dune test
 ```
 -->
 
+## Reproduce Table 1
+
 Use `heifer $EXAMPLE` to run examples.
 
 <!-- Effect-related programs are in [src/evaluation](src/evaluation), higher-order programs are in [src/examples](src/examples). -->
 
-## Reproduce Table 1
-
 ```sh
 heifer src/demo/1_State_Monad.ml
 heifer src/demo/2_Inductive_Sum.ml