datamouse/pict repository overview

For reference on Pict see: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html⁠

The Dockerfile can be found on Github here: https://github.com/Bad-Science/pict-docker⁠

Usage: $ docker run -it datamouse/pict $ pict pict-4.1/Examples/Simple/hello.pi

To easily run / sync code from the host machine: $ docker run -it -v <~/path/to/code/folder>:/root/src datamouse/pict $ pict src/<my_pict_file>.pi

(this -v syntax works on Mac OS, see https://docs.docker.com/engine/tutorials/dockervolumes/⁠ for Linux, Windows as the volume syntax is slightly different)