Are you sure you want to leave Paper?
Continue to https://github.com/agda/agda-stdlib/blob/master/notes/installation-guide.md
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^