OCaml interpreter for L1 lang (based on UFRGS comp sci's formal semantics course) with extensions (adds memory, variable allocations, derefs, while&seq operations).
You can find the big step evaluator function (bse) + tests on file trab.ml
docker setup with ocaml because I was using windows for some reason:
docker build -t ocaml-build .
docker run -v C:\git\formal-semantics\src:/ocaml-src --name ocaml -it --rm ocaml-build