Work in progress. Note that semantics.md may be slightly outdated compared to the implementation.
This is a formalization of vectors and subsetting in R (see Advanced R, chapter 3 and chapter 4), a (subset of) dplyr, plus some related tidyverse packages, such as tibble and magrittr.
Install opam. Then run the following:
opam switch create 4.12.0
git clone https://github.com/reactorlabs/RhoVec.git
cd RhoVec
make deps # install dependencies
make