Refer to Iris documentation
There is quite some documentation in Iris (setting up editor, how to use Propers, ...). We should include links to the relevant documentation in the std++ README.
There is quite some documentation in Iris (setting up editor, how to use Propers, ...). We should include links to the relevant documentation in the std++ README.