Some Links = - [SAIL install](https://github.com/rems-project/sail/blob/0.14/INSTALL.md) - [Qemu](https://www.qemu.org) is used in SAIL - [RPython](https://rpython.readthedocs.io/en/latest/translation.html) powers Pydrofoil - [PyPy](https://www.pypy.org/) is another RPython project - [PyPy's coding guide](https://doc.pypy.org/en/latest/coding-guide.html#id1) - [OCAML Install Help 1](https://www.cs.umd.edu/class/spring2018/cmsc330/ocamlInstallationGuide.pdf#page=14&zoom=100,0,96) - [OCAML Install Help 2](https://stackoverflow.com/questions/54987110/installing-ocaml-on-windows-10-using-wsl-ubuntu-problems-with-bwrap-bubblewr) - Get sail running under WSL: [installation guide](https://www.cs.umd.edu/class/spring2018/cmsc330/ocamlInstallationGuide.pdf) and [fixing problems with bwrap-bubblewr](https://stackoverflow.com/questions/54987110/installing-ocaml-on-windows-10-using-wsl-ubuntu-problems-with-bwrap-bubblewr)