README.md

TLA+ Surveys

(2022-05-19)

2022 survey

README.md is generated from README.Rmd on a host with all libraries installed via:

Rscript -e "rmarkdown::render('README.Rmd')"

Install required libraries and R packages (on macOS) with:

brew install pandoc r
Rscript -e "install.packages(c('rmarkdown', 'ggplot2','dplyr', 'here'), repos='http://cran.us.r-project.org')"